A tactic language framework to ease proving theorems in HOL4.

Name
Last commit
Last update
attic Loading commit data...
examples Loading commit data...
sempre Loading commit data...
src Loading commit data...
.gitignore Loading commit data...
INTRODUCTION.md Loading commit data...
README.md Loading commit data...
setup.sh Loading commit data...