AlphaUncommon
DeepSpec/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
- Owner
- DeepSpec (organization)
- Stars
- Stars: 261
- Forks
- Forks: 61
- Language
- Rocq Prover
- License
- MIT
- Created
- 2018
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- mit-plv/bedrock2Stars: 340Rocq ProverAlpha
- stepchowfun/proofsStars: 316Rocq ProverAlpha
- QuickChick/QuickChickStars: 296Rocq ProverAlpha
- rocq-community/fourcolorStars: 252Rocq ProverAlpha
- math-comp/analysisStars: 246Rocq ProverPrototype
- rocq-prover/equationsStars: 238Rocq ProverPrototype