HN Explorer

litexlang

↗ HN profile [ 293 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Litex: Formal math for everyone – set theory examples with Lean comparison (litexlang.com)
    30 points 8
  2. Litex: The First Formal Language Learnable in 1-2 Hours (github.com)
    111 points 17
  3. Litex: A simple formal language which 10-year-olds learns quickly (github.com)
    1 points 1