Hacker Newsnew | past | comments | ask | show | jobs | submit | litexlang's submissionslogin
1.
Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)
6 points by litexlang 4 days ago | past | 1 comment
2.
Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)
111 points by litexlang 89 days ago | past | 82 comments
3.
Litex: A simple formal language which 10-year-olds learns quickly (github.com/litexlang)
1 point by litexlang 6 months ago | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: