Extremal Even Unimodular Lattices
日本語
GitHub
The mass formula
This page is being written.
Previous
Proving extremality
Next
Why dimension 112