Coq
Paradigms
Domains
File extensions
coq, v
External Links
| Type | programming |
| Created | 1984 |
| Developed by | Institut National de Recherche en Informatique et en Automatique |
| PyPL Index | N/A |
| TIOBE Index | N/A |
| GitHub rank | #104 |
Code Example
↓
Loading...