gliptak
commented
5 years ago https://github.com/math-comp/mcb/blob/master/docs/Makefile has various build targets.
PS would there be an interest in a PR hooking repo up to Travis?
Open anton-trunov opened 7 years ago
gliptak
commented
5 years ago https://github.com/math-comp/mcb/blob/master/docs/Makefile has various build targets.
PS would there be an interest in a PR hooking repo up to Travis?
Instructions for building the book from source, for typechecking the Coq code from the book, etc.