PrototypeCommune
mit-plv/riscv-coq
RISC-V Specification in Coq
- Propriétaire
- mit-plv (organisation)
- Étoiles
- Étoiles : 123
- Forks
- Forks : 20
- Langage
- Rocq Prover
- Licence
- BSD-3-Clause
- Création
- 2018
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de mit-plv
Les 7 dépôts de mit-plv- mit-plv/fiat-cryptoÉtoiles : 851Rocq ProverBêta
- mit-plv/bedrock2Étoiles : 340Rocq ProverAlpha
- mit-plv/koikaÉtoiles : 191Rocq ProverPrototype
- mit-plv/riscv-semanticsÉtoiles : 180HaskellPrototype
- mit-plv/kamiÉtoiles : 173Rocq ProverPrototype
- mit-plv/fiatÉtoiles : 157Rocq ProverPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- uds-psl/MPCTTÉtoiles : 129Rocq ProverPrototype
- fraunhoferfokus/acsl-by-exampleÉtoiles : 128Rocq ProverPrototype
- WasmCert/WasmCert-CoqÉtoiles : 128Rocq ProverPrototype
- UniMath/TypeTheoryÉtoiles : 122Rocq ProverPrototype
- rocq-community/cornÉtoiles : 117Rocq ProverPrototype
- SkyLabsAI/BRiCkÉtoiles : 111Rocq ProverPrototype