AlphaPeu commune
DeepSpec/InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
- Propriétaire
- DeepSpec (organisation)
- Étoiles
- Étoiles : 261
- Forks
- Forks : 61
- Langage
- Rocq Prover
- Licence
- MIT
- Création
- 2018
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- mit-plv/bedrock2Étoiles : 340Rocq ProverAlpha
- stepchowfun/proofsÉtoiles : 316Rocq ProverAlpha
- QuickChick/QuickChickÉtoiles : 296Rocq ProverAlpha
- rocq-community/fourcolorÉtoiles : 252Rocq ProverAlpha
- math-comp/analysisÉtoiles : 246Rocq ProverPrototype
- rocq-prover/equationsÉtoiles : 238Rocq ProverPrototype