Translated cross references to proof types, added missing Corollary.json file and added German translations #222
This workflow is awaiting approval from a maintainer in #126
Triggered via pull request
November 9, 2024 16:50
dtenbrinck
Status
Action required
Total duration
–
Artifacts
–
This workflow is awaiting approval from a maintainer in #126
ci.yml
on: pull_request
Matrix: tests
Waiting for pending jobs
Publish to PyPi