litexlang | Dark Hacker News

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