mcb icon indicating copy to clipboard operation
mcb copied to clipboard

Published 20 hours ago • verified publisher icon math-comp

Building instructions

Open anton-trunov opened this issue 8 years ago • 1 comments

Instructions for building the book from source, for typechecking the Coq code from the book, etc.

anton-trunov avatar Jan 04 '17 17:01 anton-trunov

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?

gliptak avatar Mar 10 '19 21:03 gliptak