research
∙
09/03/2018
Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs
This extended abstract is about an effort to build a formal description ...
share
research
∙
09/06/2017
