Skip to content

add pdf version and build instructions#119

Open
ocramz wants to merge 1 commit into
leanprover:masterfrom
ocramz:master
Open

add pdf version and build instructions#119
ocramz wants to merge 1 commit into
leanprover:masterfrom
ocramz:master

Commits

Commits on Jun 13, 2024