~ymherklotz/vericert

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

~ymherklotz/vericert-discuss

Mailing list for end-user discussion and questions related to the vericert project. Feel free to send a message to ~ymherklotz/vericert-discuss@lists.sr.ht.

~ymherklotz/vericert-devel

Mailing list for development discussion and patches related to the vericert project. For help sending patches to this list, please consult git-send-email.io.