PrototypeCommon
uds-psl/MPCTT
Modeling and Proving in Computational Type Theory
- Owner
- uds-psl (organization)
- Stars
- Stars: 129
- Forks
- Forks: 12
- Language
- Rocq Prover
- License
- None
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by uds-psl
All 2 repos by uds-psl- uds-psl/coq-library-undecidabilityStars: 145Rocq ProverPrototype
Nearby in Rocq Prover
All Rocq Prover repos- rocq-community/coq-ext-libStars: 136Rocq ProverPrototype
- neelsomani/vericudaStars: 134Rocq ProverPrototype
- AU-COBRA/ConCertStars: 129Rocq ProverPrototype
- fraunhoferfokus/acsl-by-exampleStars: 128Rocq ProverPrototype
- WasmCert/WasmCert-CoqStars: 128Rocq ProverPrototype
- mit-plv/riscv-coqStars: 123Rocq ProverPrototype