most citedWaterproof: Educational Software for Learning How to Write Mathematical Proofs

5 citations · 9 across the 3 of their papers we have counts for

collaborators
Showing math.ATShow all

1 paper · 1 filter

math.AT2024

Classification of Covering Spaces and Canonical Change of Basepoint

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical chan…