PrototypeCommune
liamoc/holbert
A graphical interactive proof assistant designed for education
- Propriétaire
- liamoc (compte personnel)
- Étoiles
- Étoiles : 172
- Forks
- Forks : 7
- Langage
- Haskell
- Licence
- BSD-3-Clause
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de liamoc
Les 2 dépôts de liamoc- liamoc/learn-you-an-agdaÉtoiles : 315AgdaAlpha
D’autres dépôts Haskell
Tous les dépôts Haskell- circuithub/rel8Étoiles : 173HaskellPrototype
- tomjaguarpaw/bluefinÉtoiles : 173HaskellPrototype
- A1kmm/proofsweeperÉtoiles : 172HaskellPrototype
- AccelerateHS/accelerate-llvmÉtoiles : 171HaskellPrototype
- expipiplus1/vulkanÉtoiles : 171HaskellPrototype
- hercules-ci/legacy-old-herculesÉtoiles : 171HaskellPrototype