5. Lean terms and types🔗

Move the pointer over a Lean name to see its type. Verso obtains this information from the proof project. The proof project uses its own Lean version to check the source.

1. 5.1. The critical line
2. 5.2. The theta function
3. 5.3. The final steps