chore: add citation instructions (#526)

david-christiansen · web-flow · commit a5c12b7353d0 · 2025-07-04T23:11:55.000+02:00
Closes #524
diff --git a/Manual/Intro.lean b/Manual/Intro.lean
@@ -199,6 +199,11 @@ inductive Even : Nat → Prop where
 
 ::::
 
+# How to Cite This Work
+
+In formal citations, please cite this work as _The Lean Language Reference_ by The Lean Developers.
+Additionally, please include the corresponding version of Lean in the citation, which is {versionString}[].
+
 # Open-Source Licenses
 %%%
 tag := "dependency-licenses"
