broad-coq-tutorial
Some unstructured notes concerning the Broad tutorial to take place in March 2020
31 stars
6 watching
6 forks
Language: Coq
last commit: about 3 years ago broad-coq-tutorial Some unstructured notes concerning the Broad tutorial to take place in March 2020