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