← all formulas
math-comp
Mathematical Components for the Coq proof assistant
- Version
- v2.5.0
- License
- CECILL-B
- Tap
- homebrew/core
- Bottle
- available
- Revision
- 4
bottledlicense declaredhomepageactivekeg-linked
Install
shell
$ brew install math-compAliases
mathcomp