Resource Sharing - Githubissues

ymherklotz / vericert

A formally verified high-level synthesis tool based on CompCert and written in Coq.

https://vericert.ymhg.org

GNU General Public License v3.0

86 stars 5 forks source link

Open mpardalos opened 3 years ago