Skip to content

GitLab

Explore

Sign in

veriT
Alethe

Alethe

Project information

The evolving specification for Alethe, a flexible format for SMT proofs.

165 Commits
7 Branches
3 Tags
2 Releases

README
GitLab Pages

Created on

April 09, 2021

Copy SSH clone URLgit@gitlab.uliege.be:verit/alethe.git
Copy HTTPS clone URLhttps://gitlab.uliege.be/verit/alethe.git