A1kmm/proofsweeper

Play Minesweeper by formally proving your moves in Idris

语言：Haskell · GitHub 星标：172 · Fork：3

在 GitHub 上查看原仓库