PrototypeCommon
logsem/iris-tutorial
No description.
- Owner
- logsem (organization)
- Stars
- Stars: 107
- Forks
- Forks: 45
- Language
- Rocq Prover
- License
- MIT
- Created
- 2023
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- rocq-community/cornStars: 117Rocq ProverPrototype
- SkyLabsAI/BRiCkStars: 110Rocq ProverPrototype
- inQWIRE/SQIRStars: 107Rocq ProverPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype
- ymherklotz/vericertStars: 101Rocq ProverPrototype
- jwiegley/coq-pipesStars: 100Rocq ProverPrototype