Contribution: FundamentalArithmetics

Fundamental theorems of arithmetic

Authors

• Sébastien Briais

Description

Keywords

arithmetic, number theory

README

Compiles with Coq 8.1pl2

Available files

• FundamentalArithmetics.power.html
• FundamentalArithmetics.primes.html
• FundamentalArithmetics.permutation.html
• FundamentalArithmetics.tactics.html
• FundamentalArithmetics.nthroot.html
• FundamentalArithmetics.euclide.html
• FundamentalArithmetics.gcd.html
• FundamentalArithmetics.division.html
• FundamentalArithmetics.missing.html