PrototypeCommune
A1kmm/proofsweeper
Play Minesweeper by formally proving your moves in Idris
- Propriétaire
- A1kmm (compte personnel)
- Étoiles
- Étoiles : 172
- Forks
- Forks : 3
- Langage
- Haskell
- Licence
- Aucune
- Création
- 2017
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Haskell
Tous les dépôts Haskell- circuithub/rel8Étoiles : 173HaskellPrototype
- tomjaguarpaw/bluefinÉtoiles : 173HaskellPrototype
- liamoc/holbertÉtoiles : 172HaskellPrototype
- AccelerateHS/accelerate-llvmÉtoiles : 171HaskellPrototype
- expipiplus1/vulkanÉtoiles : 171HaskellPrototype
- hercules-ci/legacy-old-herculesÉtoiles : 171HaskellPrototype