Y
Hacker News
new
|
ask
|
show
|
jobs
user:
litexlang
created:
2025-05-24
karma:
86
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Litex: Formal math for everyone – set theory examples with Lean comparison
30 points
|
11 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Litex: The First Formal Language Learnable in 1-2 Hours
111 points
|
82 comments
0 points
|
0 comments
0 points
|
0 comments
Litex: A simple formal language which 10-year-olds learns quickly
1 points
|
1 comments