doc: Add citation format

2024-09-06 22:41:34 -07:00 · 2024-09-06 22:41:34 -07:00 · 75ada0b5ad
parent 6d990601c1
commit 75ada0b5ad
1 changed files with 11 additions and 0 deletions
--- a/README.md
+++ b/README.md
@ -25,3 +25,14 @@ The tests in `pantograph/server.py` also serve as simple interaction examples
 ## Examples

 See `examples/README.md`
+
+## Referencing
+
+```bib
+@misc{pantograph,
+	title = "Pantograph, A Machine-to-Machine Interface for Lean 4",
+	author = {Aniva, Leni and Miranda, Brando and Sun, Chuyue},
+	year = 2024,
+	howpublished = {\url{https://github.com/lenianiva/PyPantograph}}
+}
+```