| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | LICENSE_SPLASH | 253 | logplain |
| -rwxr-xr-x | coq.ico | 4710 | logplain |
| -rwxr-xr-x | coq.nsi | 6853 | logplain |
| -rwxr-xr-x | coq_splash.bmp | 360039 | logplain |
| -rw-r--r-- | coq_splash.png | 58601 | logplain |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |
