Fortune's algorithm described in coq
coq
computational-geometry
coq-formalization
voronoi-diagram
formal-verification
fortune-algorithm
sweep-line-algorithm
-
Updated
Jun 6, 2019 - Coq