mathcomp

Mathematical Components Library for the Coq proof assistant

---

Build for x86_64-musl, version 1.19.0_{_2}. Builds for all architectures.

---

Details

Homepage:

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

License:

CECILL-B

Maintainer:

Leah Neukirchen

Built at:

2024-03-24 18:42

Source files:

https://github.com/math-comp/math-comp/archive/mathcomp-1.19.0.tar.gz

Installed size:

95.15 MiB

Popularity:

No usages in 88 reports