Formal verification of a geometry algorithm: A quest for abstract views and symmetry in coq proofs

DOI10.1007/978-3-030-02508-3_1OpenAlexW2890053725MaRDI QIDQ1623113

Yves Bertot

Publication date: 23 November 2018

Full work available at URL: https://arxiv.org/abs/1809.00559

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

Verification of Closest Pair of Points Algorithms

Uses Software

• Coq

This page was built for publication: Formal verification of a geometry algorithm: A quest for abstract views and symmetry in coq proofs