litexlang | Dark Hacker News

1.	Litex: Formal math for everyone – set theory examples with Lean comparison(litexlang.com) 30 points by litexlang 255 days ago \| 11 comments
2.	Litex: The First Formal Language Learnable in 1-2 Hours(github.com) 111 points by litexlang 340 days ago \| 82 comments
3.	340 days ago \| discuss
4.	Litex: A simple formal language which 10-year-olds learns quickly(github.com) 1 points by litexlang 1 year ago \| 1 comment