Skip to content
GitLab
Explore
Sign in
veriT
Alethe
Alethe
160
Commits
7
Branches
3
Tags
2
Releases
The evolving specification for Alethe, a flexible format for SMT proofs.
Read more
Find file
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Copy HTTPS clone URL
Copy SSH clone URL
git@gitlab.uliege.be:verit/alethe.git
Copy HTTPS clone URL
https://gitlab.uliege.be/verit/alethe.git
README
GitLab Pages
Auto DevOps enabled