From 628646ec8bc7d83c1a5ca8eef5476ee38b0f1d6c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Hans-J=C3=B6rg?= <commits@schurr.at>
Date: Sat, 23 Nov 2024 02:59:33 +0000
Subject: [PATCH] Update README.md

---
 README.md | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 13527bd..f36e76e 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,11 @@ The Proof Format -- Speculative Specification
 =============================================
 
 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
 in stone, it will improve as solvers, proof reconstructions, and
-- 
GitLab