Skip to content
GitLab
Explore
Sign in
Register
Michael Raskin
gen-fof-proof
Repository
gen-fof-proof
lisp-gen-proof
tptp-ast-normal.lisp
Find file
Blame
History
Permalink
Adding a TPTP object to avoid working with parse trees too much
· 2896f667
Michael Raskin
authored
Jan 18, 2019
2896f667