mathcomp
Mathematical Components Library for the Coq proof assistant
Version 1.14.0_2
aarch64-glibc - aarch64-musl - armv6l-glibc - armv6l-musl - armv7l-glibc - armv7l-muslDetails
- Homepage:
- https://github.com/math-comp/math-comp
- License:
- CECILL-B
- Maintainer:
- Leah Neukirchen
- Built at:
- 2022-10-25 22:00 - 2024-03-24 19:30
- Installed size:
- 87.72 MiB - 95.15 MiB
- Popularity:
- No usages in 86 reports
- Source files:
- https://github.com/math-comp/math-comp/archive/mathcomp-1.19.0.tar.gz