Experimental leanblueprint in typst
Find a file
2025-08-02 19:02:31 +02:00
.vscode Configure formatting 2025-08-02 18:57:42 +02:00
.prettierrc.json Configure formatting 2025-08-02 18:57:42 +02:00
README.md Create project 2025-07-25 12:47:00 +02:00
whiteprint.py Add build script 2025-08-02 19:02:31 +02:00
whiteprint.typ Tweak HTML export look 2025-08-02 18:57:42 +02:00

Whiteprint

A typst based proof blueprint template inspired by leanblueprint.