Skip to content

Feat: Add tags which can be provided on each theorem instantiation an…#22

Open
marc-thieme wants to merge 1 commit intoMarmare314:refactorfrom marc-thieme:feat_custom_tags_for_styling
+31-4

Commits