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