GitHub - SasankYadati/Interactive-Theorem-Proving-in-Coq: Some proofs from the class on Interactive Theorem Proving · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
Assignment		Assignment
Lecture-1		Lecture-1
Lecture-2		Lecture-2
Lecture-3		Lecture-3
Lecture-4		Lecture-4
Lecture-5		Lecture-5
Lecture-6		Lecture-6
lf		lf
.gitignore		.gitignore
README.md		README.md

Repository files navigation

About

Some proofs from the class on Interactive Theorem Proving

Report repository

Contributors

Languages