For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | litexlang's submissionsregister
1.
Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)
30 points by litexlang 3 months ago | past | 11 comments
2.
Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)
111 points by litexlang 6 months ago | past | 82 comments
3.
Litex: A simple formal language which 10-year-olds learns quickly (github.com/litexlang)
1 point by litexlang 10 months ago | past | 1 comment

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

Search:

HN For You