Merge branch 'main' of https://github.com/NeuralCoder3/prooftrees

NeuralCoder3 · NeuralCoder3 · commit 3c57aa6c49ca · 2023-03-23T17:08:13.000+01:00
diff --git a/CITATION.cff b/CITATION.cff
@@ -0,0 +1,10 @@
+cff-version: 1.2.0
+message: "If you use this software, please cite it as below."
+authors:
+- family-names: "Ullrich"
+  given-names: "Marcel"
+title: "Inference proof trees using unification"
+version: 1.0.0
+doi: 10.5281/zenodo.1234
+date-released: 2023-03-21
+url: "https://github.com/NeuralCoder3/prooftrees"
