Skip to content
/ mcb Public
forked from math-comp/mcb

Mathematical Components (the Book)

Notifications You must be signed in to change notification settings

ybertot/mcb

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

Mathematical Components (the Book)

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages

  • TeX 92.4%
  • Coq 5.9%
  • Terra 1.3%
  • Other 0.4%