GitHub - andreaskatis/Coq: Formalizations and Theorem proofs · GitHub

Name		Name	Last commit message	Last commit date
misc		misc
realizability		realizability
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md

Repository files navigation

Coq proofs related to the VSTTE'15 paper titled "Machine-checked proofs for realizability checking algorithms".

About

Formalizations and Theorem proofs

2 stars

1 watching

Report repository

Releases

Packages

Contributors

Languages