tutorial_material
tutorial_material copied to clipboard
math-comp
proof script associated to tutorial material
Results
1
tutorial_material issues
Sort by
recently updated
recently updated
newest added
trafficstars
Looks like the link to mathcomp summer school leads to a winter school on classic Coq. https://team.inria.fr/marelle/en/coq-winter-school-2018/
