Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

CertiRocq/certirocq

A Verified Compiler for Gallina, Written in Gallina

Propriétaire: CertiRocq (organisation)
Étoiles: Étoiles : 183
Forks: Forks : 45
Langage: Rocq Prover
Licence: MIT
Création: 2017
Sujets: coqgallinacompilerformal-verificationrocq-prover
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Rocq Prover

Tous les dépôts Rocq Prover

plclub/sf-in-leanÉtoiles : 199Rocq ProverPrototype
theorem-labs/oss-verify-proofsÉtoiles : 193Rocq ProverPrototype
mit-plv/koikaÉtoiles : 191Rocq ProverPrototype
mit-plv/kamiÉtoiles : 173Rocq ProverPrototype
rocq-community/math-classesÉtoiles : 169Rocq ProverPrototype
mit-plv/fiatÉtoiles : 157Rocq ProverPrototype