3 ms·
Second this. What I also wonder about is how closely the TeX write-up and the Lean formalization line-up.
by JPC21 26d ago
Second this. What I also wonder about is how closely the TeX write-up and the Lean formalization line-up.
loading thread…