Refresh
Refresh
Source Files
| Filename | Size | Changed | Actions |
|---|---|---|---|
| README.coq-emacs | 0000000127 127 Bytes | over 3 years | |
| coq-8.5pl1.tar.gz | 0005366774 5.12 MB | over 3 years | |
| coq.spec | 0000020505 20 KB | over 3 years | |
| coq.xml | 0000000289 289 Bytes | over 3 years | |
| coqide.appdata.xml | 0000001537 1.5 KB | over 3 years | |
| coqide.desktop | 0000000174 174 Bytes | over 3 years |
Comments for coq 0