https://github.com/GeoCoq/GeoCoq
Tip revision: 5731eb3522005c387bc7e177f84c80dbf2a190ad authored by Boutry on 27 October 2015, 19:29:32 UTC
release commit
release commit
Tip revision: 5731eb3
File | Mode | Size |
---|---|---|
Axioms | ||
Highschool | ||
Meta_theory | ||
Tactics | ||
Tarski_dev | ||
Utils | ||
.gitignore | -rw-r--r-- | 17 bytes |
Changelog | -rw-r--r-- | 1.1 KB |
LICENSE | -rw-r--r-- | 7.5 KB |
Make.in | -rw-r--r-- | 66 bytes |
README.md | -rw-r--r-- | 162 bytes |
configure.sh | -rwxr-xr-x | 115 bytes |