1Litex: Formal math for everyone – set theory examples with Lean comparison (opens in new tab)(litexlang.com)30litexlang6mo ago11Save
2Litex: The First Formal Language Learnable in 1-2 Hours (opens in new tab)(github.com)GitHub111litexlang9mo ago82Save
3Litex: A simple formal language which 10-year-olds learns quickly (opens in new tab)(github.com)GitHub1litexlang1y ago1Save
