HN Explorer

litexlang

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