Litex: A Formal Language Where Math Verifies Itself Litex Learn Math With Litex Documents How Litex works Litex to Lean Playground 中文 English Experimental beta Litex is a personal project exploring a formal language for mathematics. Started in 2024, it remains experimental. Litex A Formal Language Where Math Verifies Itself Blueprint · English Blueprint · 中文 GitHub Motivation Pronounced /ˈliːtɛk/ (LEE-tek), not LIE-tek. Litex takes its name from Lisp and TeX. The logo is a Python-generated binary tree, symbolizing mathematics taking root in axioms and growing branches, leaves, and blossoms. “Truth is ever to be found in simplicity, and not in the multiplicity and confusion of things.” — Isaac Newton Maybe just write the math? Litex is an experimental formal language for mathematics, starte
Litex: A Formal Language Where Math Verifies Itself Litex Learn Math With Litex Documents How Litex works Litex to Lean Playground 中文 English Experimental beta Litex is a personal project exploring a formal language for mathematics. Started in 2024, it remains experimental. Litex A Formal Language Where Math Verifies Itself Blueprint · English Blueprint · 中文 GitHub Motivation Pronounced /ˈliːtɛk/ (LEE-tek), not LIE-tek. Litex takes its name from Lisp and TeX. The logo is a Python-generated binary tree, symbolizing mathematics taking root in axioms and growing branches, leaves, and blossoms. “Truth is ever to be found in simplicity, and not in the multiplicity and confusion of things.” — Isaac Newton Maybe just write the math? Litex is an experimental formal language for mathematics, starte
