Janis Hutz d824616d80 Add improved commands for def, lemma, theorems, etc

2025-07-13 11:22:32 +02:00

..

custom-loader.tex

Restructure docs

2025-01-07 14:07:33 +01:00

reference.tex

Add improved commands for def, lemma, theorems, etc

2025-07-13 11:22:32 +02:00

troubleshooting.tex

Add more troubleshooting to the docs

2025-01-08 13:24:17 +01:00

usage.tex

Restructure docs

2025-01-07 14:07:33 +01:00