Branches · Software / gqm-coq · GitLab

Stale branches

setoid merged

b45f0f30 · finished change to setoid_rewrite · May 26, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
setoidtest

0ec07b9e · final setoid test · Jun 02, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
sec2 merged

30060695 · more soundness · Jun 15, 2018

Compare

Download source code

zip tar.gz tar.bz2 tar
master default protected

4933b0b4 · use lia instead of omega · Jul 06, 2018

Download source code

zip tar.gz tar.bz2 tar