Comment by JPC21
15 hours ago
Second this. What I also wonder about is how closely the TeX write-up and the Lean formalization line-up.
15 hours ago
Second this. What I also wonder about is how closely the TeX write-up and the Lean formalization line-up.
No comments yet
Contribute on Hacker News ↗