math-comp / mcb

Mathematical Components (the Book)
Other
140 stars 25 forks source link

Add badge and mention Nix and CI #134

Closed siraben closed 3 years ago