This is the "Mathematical Components" book.
Building
To build the book using Nix, run
# without flakes, check out the repo first
$ NIXPKGS_ALLOW_UNFREE=1 nix-build
# with flakes
$ NIXPKGS_ALLOW_UNFREE=1 nix build github:math-comp/mcb --impure
Alternatively you may fetch the latest artifact produced by the CI for the master branch here.
The tex/
directory contains the sources. TexLive 2014, 2021 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