bsubercaseaux / EmptyHexagonLeanLinks

Code related to the Lean verification of the empty hexagon theorem
12Updated 9 months ago

Alternatives and similar repositories for EmptyHexagonLean

Users that are interested in EmptyHexagonLean are comparing it to the libraries listed below

Sorting: