Garmelon/whiteprint
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Create project

Browse source
This commit is contained in:
Joscha 2025-07-25 12:47:00 +02:00
commit f9e437426d
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
README.md Normal file
View file

@ -0,0 +1,5 @@
# Whiteprint
A typst based proof blueprint template inspired by [leanblueprint].
[leanblueprint]: https://github.com/PatrickMassot/leanblueprint