fix: adjust the timing of defining theorems #341
AlexaraWuArtifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
samples
Expired
|
4.55 MB |
|
|
sjtutex-ctan
Expired
|
864 KB |
|
|
sjtutex.tds
Expired
|
955 KB |
|