aboutsummaryrefslogblamecommitdiff
path: root/math/coq/Makefile
blob: c0c8f6ac9d8ce11efc2d6a43f3458c7c43a4bf96 (plain) (tree)
1
2
3
4
5
6
7
8
9