Stories by litexlang

Litex: Formal math for everyone – set theory examples with Lean comparison

Litex: The First Formal Language Learnable in 1-2 Hours

Litex: A simple formal language which 10-year-olds learns quickly