C

coq-lectures

Project information

Lecture notes and study material for the Proof Assistant Coq

Coq Proof Assistant

60 Commits
2 Branches
0 Tags

README
Apache License 2.0

Created on

July 14, 2021

Loading