Skip to content
GitLab
Explore
Sign in
Register
Michael Raskin
gen-fof-proof
Repository
gen-fof-proof
lisp-gen-proof
proofset-to-summary-proof.sh
Find file
Blame
History
Permalink
Some proof summarization functionality
· 9982945f
Michael Raskin
authored
Jan 15, 2019
9982945f