search

mit-plv / fiat

Mostly Automated Synthesis of Correct-by-Construction Programs
http://plv.csail.mit.edu/fiat/
Other
147 stars 31 forks source link

Update coq-script submodule #56

Closed proux01 closed 3 years ago