Skip to content
GitLab
Explore
Sign in
Register
Michael Raskin
gen-fof-proof
Repository
gen-fof-proof
lisp-gen-proof
process-tptp-proof.lisp
Find file
Blame
History
Permalink
Correctness check; seems to pass
· f93e02b6
Michael Raskin
authored
Jan 21, 2019
f93e02b6