A1kmm / proofsweeperLinks

Play Minesweeper by formally proving your moves in Idris
166Updated 8 months ago

Alternatives and similar repositories for proofsweeper

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

Sorting: