typst-theorems icon indicating copy to clipboard operation
typst-theorems copied to clipboard

Published 20 hours ago • verified publisher icon sahasatvik

Reprint / Re-state Theorems

Open jsimonrichard opened this issue 2 months ago • 1 comments

This is a simple answer to the discussion in #8.

Although it doesn't support conjunctive normal form, it integrates with the existing label system and can print multiple theorems that share a label.

Let me know what you think.

jsimonrichard avatar Apr 23 '24 03:04 jsimonrichard