PrototypeCommon
A1kmm/proofsweeper
Play Minesweeper by formally proving your moves in Idris
- Owner
- A1kmm (personal account)
- Stars
- Stars: 172
- Forks
- Forks: 3
- Language
- Haskell
- License
- None
- Created
- 2017
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Haskell
All Haskell repos- circuithub/rel8Stars: 173HaskellPrototype
- tomjaguarpaw/bluefinStars: 173HaskellPrototype
- liamoc/holbertStars: 172HaskellPrototype
- AccelerateHS/accelerate-llvmStars: 171HaskellPrototype
- expipiplus1/vulkanStars: 171HaskellPrototype
- hercules-ci/legacy-old-herculesStars: 171HaskellPrototype