/proofsweeper

Play Minesweeper by formally proving your moves in Idris

Primary LanguageHaskell

Stargazers