Skip to content
GitLab
Explore
Sign in
Register
Michael Raskin
gen-fof-proof
Repository
gen-fof-proof
lisp-gen-proof
with-export.sh
Find file
Blame
History
Permalink
Support for just exporting proof steps
· 38c14e4d
Michael Raskin
authored
Feb 28, 2019
38c14e4d