litexlang

Karma: 70
Created: 7 months ago

Recent Submissions

1. ▲ Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com) 5 points · 3 days ago · 1 comment
2. ▲ Litex: The First Formal Language Learnable in 1-2 Hours (github.com) 111 points · 2 months ago · 82 comments
3. ▲ Litex: A simple formal language which 10-year-olds learns quickly (github.com) 1 point · 6 months ago · 1 comment

All submissions on HN · View profile on HN