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