math-comp / Mcb
Licence: other
Mathematical Components (the Book)
Stars: ✭ 104
Labels
This is the "Mathematical Components" book.
The tex/ directory contains the sources. TexLive 2014 is
known to work.
The coq/ directory contains snippets corresponding to the chapters
of the book.
The docs/ directory contains the website of the book.
The artwork/ directory contains the graphics used in the book.
Homepage
Link to the homepage of the book
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].