PrototypeCommune
ymherklotz/vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
- Propriétaire
- ymherklotz (compte personnel)
- Étoiles
- Étoiles : 101
- Forks
- Forks : 5
- Langage
- Rocq Prover
- Licence
- GPL-3.0
- Création
- 2019
- Sujets
- high-level-synthesiscoq
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ymherklotz
Les 2 dépôts de ymherklotz- ymherklotz/verismithÉtoiles : 125HaskellPrototype
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- inQWIRE/SQIRÉtoiles : 107Rocq ProverPrototype
- logsem/iris-tutorialÉtoiles : 107Rocq ProverPrototype
- math-comp/hierarchy-builderÉtoiles : 104Rocq ProverPrototype
- jwiegley/coq-pipesÉtoiles : 100Rocq ProverPrototype