CONTRIBUTORS

--- a/CONTRIBUTORS	Sat Jun 17 17:41:02 2023 +0200
+++ b/CONTRIBUTORS	Mon Jun 19 22:28:09 2023 +0200
@@ -6,6 +6,10 @@
 Contributions to Isabelle2023
 -----------------------------
 
+* August 2022 - July 2023: Hannah Lachnitt, Stanford and Mathias Fleury, UFR
+  Start work toward reconstructing cvc5 proof in the SMT method. This
+  is currently very experimental and is also changing on the cvc5 side.
+
 * October 2022: Jeremy Sylvestre
   Lemmas for Fun and List.