package coq-maths
Basic mathematics
Install
Dune Dependency
Authors
Maintainers
Sources
v8.8.0.tar.gz
md5=c41fb2a85a1a015d2c6188dbe75211ec
Description
Basic mathematics (gcd, primality, etc.) from French ``Mathematiques Superieures'' (first year of preparation to high schools)
Tags
keyword: mathematics category: Mathematics/Arithmetic and Number Theory/Number theoryPublished: 06 Feb 2019
On This Page