Skip to content

Translated cross references to proof types, added missing Corollary.json file and added German translations#126

Closed
dtenbrinck wants to merge 5 commits into
executablebooks:mainfrom
dtenbrinck:main
Closed

Translated cross references to proof types, added missing Corollary.json file and added German translations#126
dtenbrinck wants to merge 5 commits into
executablebooks:mainfrom
dtenbrinck:main

Merge branch 'main' of github.com:dtenbrinck/sphinx-proof

deb8b3d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs