Skip to content

Releases: wkolowski/coq-mtl

coq-mtl 1.0

10 Sep 17:03
Compare
Choose a tag to compare
Thesis: corrections of a few grammar errors. The rest of the slides f…

…or thesis defense, which was successful.