https://github.com/math-comp/mcb

Mathematical Components (the Book)
https://github.com/math-comp/mcb

Last synced: 10 months ago
JSON representation

Mathematical Components (the Book)

• Host: GitHub
• URL: https://github.com/math-comp/mcb
• Owner: math-comp
• License: other
• Created: 2016-08-24T09:18:38.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2023-11-14T20:20:13.000Z (over 2 years ago)
• Last Synced: 2025-01-21T13:47:07.127Z (over 1 year ago)
• Language: TeX
• Size: 163 MB
• Stars: 141
• Watchers: 16
• Forks: 25
• Open Issues: 38
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.txt

Awesome Lists containing this project

README

          
# This is the "Mathematical Components" book.

[![build](https://github.com/math-comp/mcb/actions/workflows/build.yml/badge.svg)](https://github.com/math-comp/mcb/actions/workflows/build.yml)

## Building

To build the book using Nix, run

```ShellSession

# 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](https://github.com/math-comp/mcb/actions?query=branch%3Amaster).

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](https://math-comp.github.io/mcb)