commit f9e437426d66292930c842825f1dbe6514bce801 Author: Joscha Date: Fri Jul 25 12:47:00 2025 +0200 Create project 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