coq-course
coq-course copied to clipboard
Published
20 hours ago •
vlopezj
vlopezj
Coq course at Chalmers CSE
Results
1
coq-course issues
Sort by
recently updated
recently updated
newest added
WIP Syllabus
17
I have added a tentative syllabus following pretty much Software Foundations. Remember that everyone has to present a topic (an interactive COQ session with the highlights of the chapter will...
