149 citations · 517 across the 29 of their papers we have counts for
1 paper · 2 filters
Jeremy Avigad, Chris Kapulkin, Peter LeFanu Lumsdaine
Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges…