Straightforward and functional theorem/proof environments in Typst.
Primary LanguageTypstMIT LicenseMIT