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
- Geometry
- Logic
- Real Calculus and Topology