feat: Added possibility for shared numbering of theorems. #348
doudenci.yml
on: pull_request
Matrix: tests
Publish to PyPi
0s
Annotations
1 error
|
pre-commit
Process completed with exit code 1.
|