Skip to content

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

Open
dtenbrinck wants to merge 5 commits intoexecutablebooks:mainfrom dtenbrinck:main
+17-10

Commits