PrototypeCommon
liamoc/holbert
A graphical interactive proof assistant designed for education
- Owner
- liamoc (personal account)
- Stars
- Stars: 172
- Forks
- Forks: 7
- Language
- Haskell
- License
- BSD-3-Clause
- Created
- 2020
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by liamoc
All 2 repos by liamoc- liamoc/learn-you-an-agdaStars: 315AgdaAlpha
Nearby in Haskell
All Haskell repos- circuithub/rel8Stars: 173HaskellPrototype
- tomjaguarpaw/bluefinStars: 173HaskellPrototype
- A1kmm/proofsweeperStars: 172HaskellPrototype
- AccelerateHS/accelerate-llvmStars: 171HaskellPrototype
- expipiplus1/vulkanStars: 171HaskellPrototype
- hercules-ci/legacy-old-herculesStars: 171HaskellPrototype