package coq-maths
Basic mathematics
Install
Dune Dependency
Authors
Maintainers
Sources
v8.5.0.tar.gz
md5=8e4e62e272aa45ba3f348e3b96ed381e
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: 07 Jun 2016
On This Page