Skip to content

translate "Proof" title#119

Closed
pjbruin wants to merge 1 commit intoexecutablebooks:mainfrom
pjbruin:translate-proof-title
Closed

translate "Proof" title#119
pjbruin wants to merge 1 commit intoexecutablebooks:mainfrom
pjbruin:translate-proof-title

Commits

Commits on Oct 2, 2024