Coq Users' Contributions

Computer Science

Architecture
Concurrent Systems and Protocols
Data Types and Data Structures
Decision Procedures and Certified Algorithms
Formal Languages Theory and Automata
Lambda Calculi
Operating Systems
Semantics and Compilation

Mathematics

Algebra
Arithmetic and Number Theory
Category Theory
Combinatorics and Graph Theory
Exact Real computation
Geometry
Logic
Real Calculus and Topology

Miscellaneous

Coq Extensions
Coq Extensions and Computer Science
Coq Use Examples
Extracted Programs
Logical Puzzles and Entertainment