GitHub repository: FakeCroissant/voronoi-fortune
Created: 2019-03-14T08:28:25Z
Description: Fortune's algorithm described in coq