mathcomp

Mathematical Components Library for the Coq proof assistant

---

Build for aarch64-glibc, version 1.14.0_{_2}. Builds for all architectures.

---

Details

Homepage:

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

License:

CECILL-B

Maintainer:

Leah Neukirchen

Built at:

2022-10-25 22:39

Installed size:

87.72 MiB

Popularity:

No usages in 88 reports