PrototypeCommon
ymherklotz/vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
- Owner
- ymherklotz (personal account)
- Stars
- Stars: 101
- Forks
- Forks: 5
- Language
- Rocq Prover
- License
- GPL-3.0
- Created
- 2019
- Topics
- high-level-synthesiscoq
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by ymherklotz
All 2 repos by ymherklotz- ymherklotz/verismithStars: 125HaskellPrototype
Nearby in Rocq Prover
All Rocq Prover repos- inQWIRE/SQIRStars: 107Rocq ProverPrototype
- logsem/iris-tutorialStars: 107Rocq ProverPrototype
- math-comp/hierarchy-builderStars: 104Rocq ProverPrototype
- jwiegley/coq-pipesStars: 100Rocq ProverPrototype