diff --git a/Pantograph.lean b/Pantograph.lean
index 46729fc..90ce2d2 100644
--- a/Pantograph.lean
+++ b/Pantograph.lean
@@ -2,6 +2,7 @@ import Pantograph.Goal
 import Pantograph.Protocol
 import Pantograph.Serial
 import Pantograph.Environment
+import Pantograph.Library
 import Lean.Data.HashMap
 
 namespace Pantograph
diff --git a/Pantograph/Library.lean b/Pantograph/Library.lean
new file mode 100644
index 0000000..330d84d
--- /dev/null
+++ b/Pantograph/Library.lean
@@ -0,0 +1,8 @@
+import Pantograph.Version
+
+namespace Pantograph
+
+@[export pantograph_version]
+def pantograph_version: String := version
+
+end Pantograph