Download links for
nLab
Direct
SHA-256 checksum
Magnet link
BitTorrent