Coq Users' Contributions

Mathematics

Algebra

• Algebra
• Buchberger
• CoRN
• FreeGroups
• GroupTheory
• LinAlg
• MathClasses
• Matrices
• OrbStab
• RelationAlgebra
• SquareMatrices

Arithmetic and Number Theory

• Bertrand
• Cantor
• Chinese
• CoinductiveReals
• ExactRealArithmetic
• Fermat4
• FundamentalArithmetics
• Karatsuba
• Maths
• Micromega
• ModRed
• Pocklington
• Presburger
• QArith
• QArithSternBrocot
• Rational
• Streams
• SumOfTwoSquare
• ThreeGap
• ZChinese

Category Theory

• CatsInZFC
• Coalgebras
• ConCaT

Combinatorics and Graph Theory

• GraphBasics
• HigmanCF
• HigmanNW
• HigmanS
• Ramsey

Geometry

• Angles
• ConstructiveGeometry
• EuclideanGeometry
• EulerFormula
• HighSchoolGeometry
• JordanCurveTheorem
• ProjectiveGeometry
• RulerCompassGeometry
• TarskiGeometry
• ThreeGap

Logic

• CTLTCTL
• Cantor
• CatsInZFC
• CoqInCoq
• FunctionsInZFC
• GenericEnvironments
• Goedel
• HigmanNW
• HoareTut
• IPC
• IZF
• LTL
• PTSATR
• Paco
• Paradoxes
• Presburger
• Prfx
• Ramsey
• Schroeder
• Tait
• ZF
• ZFC
• ZornsLemma

Real Calculus and Topology

• CoRN
• Markov
• Rem
• Topology