Litex: The Formal Language Where Math Verifies Itself

Litex Showcases Documents How Litex works Litex to Lean Playground

Representative Lean Litex Example Comparisons

Loading document…