Formal verification of a geometry algorithm: A quest for abstract views and symmetry in coq proofs
From MaRDI portal
Publication:1623113
DOI10.1007/978-3-030-02508-3_1MaRDI QIDQ1623113
Publication date: 23 November 2018
Full work available at URL: https://arxiv.org/abs/1809.00559
68Qxx: Theory of computing
Uses Software