Litex: The Formal Language Where Math Verifies Itself

Litex Showcases Documents How Litex works Litex to Lean Playground

Textbooks

Loading chapters…

Textbooks
/
The Mechanics of Litex Proof
/
Chapter 7 — Number Theory

Loading editor…