Repository Index

proof script associated to tutorial material

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

• coq
• complex-analysis
• real-analysis

Reimplementation of Natural Number Game in Coq

• coq
• lean
• logic
• game

Extra contribution for mathcomp

• theorem-proving
• primality-test
• matroid
• rsa-algorithm