A1kmm / proofsweeperLinks

Play Minesweeper by formally proving your moves in Idris
167Updated 11 months ago

Alternatives and similar repositories for proofsweeper

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

Sorting: