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