5 lines
147 B
Markdown
5 lines
147 B
Markdown
# Whiteprint
|
|
|
|
A typst based proof blueprint template inspired by [leanblueprint].
|
|
|
|
[leanblueprint]: https://github.com/PatrickMassot/leanblueprint
|