21 citations · 21 across the 3 of their papers we have counts for
1 paper · 1 filter
Floris van Doorn, Jakob von Raumer, Ulrik Buchholtz
We discuss the homotopy type theory library in the Lean proof assistant. The library is especially geared toward synthetic homotopy theory. Of particular interest is the use of jus…