coq-lecture-notes

Coq Lecture Notes (WIP)

GitHub

49 stars
12 watching
10 forks
Language: Coq
last commit: almost 4 years ago