Skip to content
GitLab
Explore
Sign in
Register
Michael Raskin
gen-fof-proof
Repository
gen-fof-proof
lisp-gen-proof
package.lisp
Find file
Blame
History
Permalink
Superficial tooling improvements
· dde36ae0
Michael Raskin
authored
Jan 10, 2019
* Support GraphViz-guided VUE export of proofs * Scripts to pick one of the three supported proovers
dde36ae0