π n (S n ) in Homotopy Type Theory
No abstract available.
DOI 10.1007/978-3-319-03545-1_1
Related papers
- The HoTT library: a formalization of homotopy type theory in Coq CPP 2017
- Formalising real numbers in homotopy type theory CPP 2017
- Higher Inductive Types as Homotopy-Initial Algebras POPL 2015
- Cubical synthetic homotopy theory CPP 2020
- Finite sets in homotopy type theory CPP 2018
- On homotopy of walks and spherical maps in homotopy type theory CPP 2022
- Homotopical patch theory ICFP 2014
- Homotopical patch theory JFP 2016