start tools

2025-06-09 11:44:50 -06:00
2 changed files with 12 additions and 1 deletions
--- a/verit.yaml
+++ 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
--- a/yices.yaml
+++ b/yices.yaml
@@ -12,3 +12,4 @@
  pages: 737-744
  month: July
  publisher: Springer
  doi: 10.1007/978-3-319-08867-9_49