From 75ada0b5ad527503ef99d1787e148fdddc5ef96e Mon Sep 17 00:00:00 2001
From: Leni Aniva <v@leni.sh>
Date: Fri, 6 Sep 2024 22:41:34 -0700
Subject: [PATCH] doc: Add citation format

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/README.md b/README.md
index 21d5d86..3848eba 100644
--- 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}}
+}
+```