Garmelon/whiteprint
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
whiteprint/README.md
Joscha f9e437426d Create project
2025-07-25 12:47:00 +02:00

147 B
Raw Blame History

Whiteprint

A typst based proof blueprint template inspired by leanblueprint.