Division by Two, in Homotopy Type Theory
Published in FSCD, 2022
This paper is about the number 2. The number 3 is left for future work.
Recommended citation: Your Name, You. (2009). "Paper Title Number 1." Journal 1. 1(1). http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_div2.pdf