activity
20162021
most citedSynthetic Spectra via a Monadic and Comonadic Modality

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

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016

A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory

Kuen-Bang Hou, Eric Finster, Dan Licata +1

This paper continues investigations in "synthetic homotopy theory": the use of homotopy type theory to give machine-checked proofs of constructions from homotopy theory We present…