Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

Alethe
- Activity
- Members
- Labels
- Releases
- Model registry
- Model experiments

Snippets Groups Projects

- veriT
Alethe

Alethe

Project ID: 1298

Project information

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

216 Commits
17 Branches
3 Tags
2 Releases

README
GitLab Pages

Created on

April 09, 2021

Select Git revision

0 results

alethe

- Clone with SSH
- Clone with HTTPS
Open in your IDE
Download source code

Download source code

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

Name	Last commit	Last update