Lemmify

A library for typesetting mathematical theorems in typst.