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