Name
Last commit
Last update
..
data Loading commit data...
old-data Loading commit data...
.mtn-ignore Loading commit data...
README.md Loading commit data...
SyntaxBNF Loading commit data...
SyntaxBNF.definition Loading commit data...
SyntaxBNF.tpi Loading commit data...
build-lisp-image.sh Loading commit data...
dependencies.venv Loading commit data...
do-proof.sh Loading commit data...
dot-to-svg.sh Loading commit data...
export-quasiprover.sh Loading commit data...
filter-tpi.sh Loading commit data...
fof-eval.lisp Loading commit data...
fof-object.lisp Loading commit data...
fof-renames.lisp Loading commit data...
fof-splits.lisp Loading commit data...
gen-fof-proof.asd Loading commit data...
hash.lisp Loading commit data...
lemma-generation.lisp Loading commit data...
loader.lisp Loading commit data...
nix-load-lisp.sh Loading commit data...
package.lisp Loading commit data...
process-tptp-proof.lisp Loading commit data...
proof-deadends.sh Loading commit data...
proof-to-dot.sh Loading commit data...
proof-to-vue.sh Loading commit data...
proofset-to-summary-proof.sh Loading commit data...
rename-fof-constants.sh Loading commit data...
run-tpi-bin.sh Loading commit data...
run-tpi.sh Loading commit data...
snippets.lisp Loading commit data...
statement-object.lisp Loading commit data...
tpi-case-analysis.lisp Loading commit data...
tpi-extra.lisp Loading commit data...
tpi-filter.lisp Loading commit data...
tpi.lisp Loading commit data...
tptp-ast-normal.lisp Loading commit data...
tptp-ast.lisp Loading commit data...
tptp-bnf.peg Loading commit data...
tptp-staged-bnf.peg Loading commit data...
tptp.lisp Loading commit data...
tptp.peg Loading commit data...
vue.lisp Loading commit data...
with-cvc4.sh Loading commit data...
with-eprover.sh Loading commit data...
with-export.sh Loading commit data...
with-spass.sh Loading commit data...
with-vampire-casc.sh Loading commit data...
with-vampire.sh Loading commit data...
with-z3.sh Loading commit data...