| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| coq-8.13 | Add '-package num' to Makefile | Yann Herklotz | 21 months | |
| Tag | Download | Author | Age | |
| SMTCoq-2.0+8.13 | smtcoq-SMTCoq-2.0+8.13.tar.gz smtcoq-SMTCoq-2.0+8.13.zip | Chantal Keller | 24 months | |
| SMTCoq-2.0+8.12 | smtcoq-SMTCoq-2.0+8.12.tar.gz smtcoq-SMTCoq-2.0+8.12.zip | Chantal Keller | 24 months | |
| SMTCoq-2.0+8.11 | smtcoq-SMTCoq-2.0+8.11.tar.gz smtcoq-SMTCoq-2.0+8.11.zip | Chantal Keller | 24 months | |
| itp22 | smtcoq-itp22.tar.gz smtcoq-itp22.zip | Chantal Keller | 2 years | |
| pxtp21 | smtcoq-pxtp21.tar.gz smtcoq-pxtp21.zip | Chantal Keller | 3 years | |
| v1.3 | smtcoq-1.3.tar.gz smtcoq-1.3.zip | Chantal Keller | 8 years | |
| v1.2 | smtcoq-1.2.tar.gz smtcoq-1.2.zip | Chantal Keller | 9 years | |
 |
index : smtcoq | |
| Fork of https://github.com/smtcoq/smtcoq. |
| aboutsummaryrefslogtreecommitdiffstats |