litexlang/golitex
Python of formal math
111 best points · 83 comments · 2 Hacker News posts · 686 GitHub stars · View on GitHub
Hacker News discussions
- Litex: The First Formal Language Learnable in 1-2 Hours (111 points, 82 comments, by litexlang, 2025-09-25)
- Litex: A simple formal language which 10-year-olds learns quickly (1 points, 1 comments, by litexlang, 2025-06-12)