Division by Two, in Homotopy Type Theory.

Samuel Mimram, mile Oleon

Browse the full FSCD paper archive.