JasonGross/ClosestPoints

A Coq implementation of an O(n log n) algorithm for finding the closest pair of points in a plane

This repository is not active