Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs.

Yves Bertot

Browse the full ICTAC paper archive.