Mostly Automated Synthesis of Correct-by-Construction Programs
Repository Index
47,133 repositories indexed
1–2 of 2 · Most stars
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
47,133 repositories indexed
1–2 of 2 · Most stars
Mostly Automated Synthesis of Correct-by-Construction Programs
A Coq library providing tactics to deal with hypothesis