Mentions légales du service
Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
pred-tv
SMTCoq
Repository
Branches
Overview
Active
Stale
All
Stale branches
coq-8.6
ba22fad2
·
Fix installation instructions
·
Feb 13, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coq-8.7
16bbe8d4
·
Compiles with both 8.7 and native
·
Feb 14, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
coq-8.8
77f2fb84
·
8.8 ok with standard coq
·
Mar 11, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
lfsc-not-found
eb33a3a4
·
Trying to fix an lfsc bug: the problem is somewhere in lfsc/Converter.satlem
·
Apr 12, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
api
55a5f05c
·
Merge
https://github.com/smtcoq/smtcoq
into api
·
Sep 25, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
