~ymherklotz/vericert

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

a79914b Work on intermediate lemma for evaluation

10 days ago

3887522 Prove abstr_fold_correct top-down

10 days ago
None