mathcomp

Mathematical Components Library for the Coq proof assistant

---

Build for x86_64-glibc, version 1.19.0_{_3}. Builds for all architectures.

---

Details

Homepage:

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

License:

CECILL-B

Maintainer:

Leah Neukirchen

Built at:

2024-06-16 00:19

Installed size:

95.15 MiB

Popularity:

No usages in 114 reports