PrototypeCommon
WasmCert/WasmCert-Coq
A mechanisation of Wasm in Rocq
- Owner
- WasmCert (organization)
- Stars
- Stars: 128
- Forks
- Forks: 21
- Language
- Rocq Prover
- License
- None
- Created
- 2020
- Topics
- webassemblywasmcoqrocq-prover
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Rocq Prover
All Rocq Prover repos- fraunhoferfokus/acsl-by-exampleStars: 129Rocq ProverPrototype
- AU-COBRA/ConCertStars: 129Rocq ProverPrototype
- uds-psl/MPCTTStars: 129Rocq ProverPrototype
- mit-plv/riscv-coqStars: 123Rocq ProverPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
- rocq-community/cornStars: 117Rocq ProverPrototype