Skip to content
Snippets Groups Projects
Commit 628646ec authored by Hans-Jörg's avatar Hans-Jörg
Browse files

Update README.md

parent 38cf7d0a
No related branches found
No related tags found
No related merge requests found
Pipeline #49850 passed
Hide whitespace changes
Inline Side-by-side
Showing
with 5 additions and 1 deletion
README.md
+ 5
− 1
View file @ 628646ec
...@@ -2,7 +2,11 @@ The Proof Format -- Speculative Specification ...@@ -2,7 +2,11 @@ The Proof Format -- Speculative Specification
============================================= =============================================
This repository hosts a specification of the proof format used by veriT This repository hosts a specification of the proof format used by veriT
right now. It will also soon be available on CVC5. and cvc5.
A PDF version of the specification is available at
> https://verit.gitlabpages.uliege.be/alethe/specification.pdf
Right now the specification is speculative: rather than being cast Right now the specification is speculative: rather than being cast
in stone, it will improve as solvers, proof reconstructions, and in stone, it will improve as solvers, proof reconstructions, and
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment