fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

GitHub
147 stars
9 watching
31 forks
Language: Coq
last commit: 19 days ago
Linked from 1 awesome list


Screenshot of mit-plv/fiat website

plv.csail.mit.edu/fiat/

Backlinks from these awesome lists: