Some tools around first-order proof handling

Name
Last commit
Last update
articles/els-2019 Loading commit data...
data Loading commit data...
lisp-gen-proof Loading commit data...
scripts Loading commit data...
.gitignore Loading commit data...
README.md Loading commit data...