Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

verify-at-iitpkd
coq-lectures

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

Copy SSH clone URLgit@gitlab.com:verify-at-iitpkd/coq-lectures.git
Copy HTTPS clone URLhttps://gitlab.com/verify-at-iitpkd/coq-lectures.git