Coq OPAMcoq-mathcomp-character
Mathematical Components Library on character theory
opam install coq-mathcomp-character.1.12.0
- homepage
- https://math-comp.github.io/
- license
- CECILL-B
- bugs tracker
- https://github.com/math-comp/math-comp/issues
- dependencies
- "coq-mathcomp-field" {= version}
- source
- https://github.com/math-comp/math-comp/archive/mathcomp-1.12.0.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-mathcomp-character/coq-mathcomp-character.1.12.0