hn
.
reader
top
new
show
ask
jobs
back
by
pkoird
·
1y ago
·
view on hn ↗
Ahh, so maybe we should first focus on formalizing Lean itself?
1 comments
digama0
1y ago
[-]
Should I introduce you to
https://arxiv.org/abs/2403.14064
?