# Whiteprint

A typst based proof blueprint template inspired by [leanblueprint].

[leanblueprint]: https://github.com/PatrickMassot/leanblueprint