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