Division by Two, in Homotopy Type Theory

Published in FSCD, 2022

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