Skip to content
GitLab
Explore
Sign in
Register
Michael Raskin
gen-fof-proof
Repository
gen-fof-proof
lisp-gen-proof
with-eprover.sh
Find file
Blame
History
Permalink
Play a bit more with lemma generation settings
· dd445704
Michael Raskin
authored
Mar 06, 2019
dd445704