Mostly Automated Synthesis of Correct-by-Construction Programs
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.