N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
100 theorems in Lean
(
leanprover-community.github.io
)
9 points by
ggzor
2 days ago
|
0 comments
add comment
2 days ago
[-]
Rendered at 03:24:40 GMT+0000 (Coordinated Universal Time) with Vercel.