From aca0d278a9329ca386918d63316382a9b0db9e54 Mon Sep 17 00:00:00 2001
From: Landon Taylor <landon@mossbiscuits.com>
Date: Mon, 9 Jun 2025 11:44:50 -0600
Subject: [PATCH] start tools

---
 verit.yaml | 10 ++++++++++
 yices.yaml |  3 ++-
 2 files changed, 12 insertions(+), 1 deletion(-)
 create mode 100644 verit.yaml

diff --git a/verit.yaml b/verit.yaml
new file mode 100644
index 0000000..c4682c7
--- /dev/null
+++ b/verit.yaml
@@ -0,0 +1,10 @@
+- key: Schurr2021
+  title: Reliable Reconstruction of Fine-Grained Proofs in a Proof Assistant 
+  author:
+    - Schurr, Hans-Jörg 
+    - Fleury, Mathias 
+    - Desharnais, Martin
+  year: 2021
+  booktitle: CADE 2021
+  doi: 10.1007/978-3-030-79876-5_26
+  publisher: Springer
\ No newline at end of file
diff --git a/yices.yaml b/yices.yaml
index bb26918..5749c4c 100644
--- a/yices.yaml
+++ b/yices.yaml
@@ -11,4 +11,5 @@
   series: Lecture Notes in Computer Science
   pages: 737-744
   month: July
-  publisher: Springer
\ No newline at end of file
+  publisher: Springer
+  doi: 10.1007/978-3-319-08867-9_49
\ No newline at end of file