Coq proofs related to the VSTTE'15 paper titled "Machine-checked proofs for realizability checking algorithms".
andreaskatis/Coq
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Coq proofs related to the VSTTE'15 paper titled "Machine-checked proofs for realizability checking algorithms".