coq
Paradigms
Domains
Influenced
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 | N/A |
coq, v
| 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 | N/A |