From f9e437426d66292930c842825f1dbe6514bce801 Mon Sep 17 00:00:00 2001
From: Joscha <joscha@plugh.de>
Date: Fri, 25 Jul 2025 12:47:00 +0200
Subject: [PATCH] Create project

---
 README.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 README.md

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..1f6a725
--- /dev/null
+++ b/README.md
@@ -0,0 +1,5 @@
+# Whiteprint
+
+A typst based proof blueprint template inspired by [leanblueprint].
+
+[leanblueprint]: https://github.com/PatrickMassot/leanblueprint