Tags · pred-tv / SMTCoq · GitLab

Mentions légales du service

Tags give the ability to mark specific points in history as being important

SMTCoq-2.0+8.13

b434a65b · Merge remote-tracking branch 'origin/coq-8.12' into coq-8.13 · May 04, 2022

Download source code

zip tar.gz tar.bz2 tar
SMTCoq-2.0+8.12

d5723431 · Merge remote-tracking branch 'origin/coq-8.11' into coq-8.12 · May 04, 2022

Download source code

zip tar.gz tar.bz2 tar
SMTCoq-2.0+8.11

e8323695 · Remove unused record field · May 04, 2022

Download source code

zip tar.gz tar.bz2 tar
itp22

1d60d375 · Switch to 1.0 tag for trakt · Feb 09, 2022
```
Switch to 1.0 tag for trakt
```
Download source code

zip tar.gz tar.bz2 tar
pxtp21

cd195624 · Merge branch 'coq-8.10' of github.com:smtcoq/smtcoq into coq-8.11 · May 06, 2021

Download source code

zip tar.gz tar.bz2 tar
v1.3

b66c3a06 · Use a fork of native-coq · Dec 07, 2015

Download source code

zip tar.gz tar.bz2 tar
v1.2

ff8c0322 · "let" tests · Jan 12, 2015

Download source code

zip tar.gz tar.bz2 tar