The 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: