GitHub repository: smimram/div2
Primary language: Agda
Description: An Agda formalization of "division by 2" in classical ZF without choice.