litexlang

Karma: 86
Created: 8 months ago

Recent Submissions

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

All submissions on HN · View profile on HN