coq-course

Coq course at Chalmers CSE

GitHub

37 stars
14 watching
10 forks
Language: Coq
last commit: over 7 years ago