A tactic language framework to ease proving theorems in HOL4.
Primary LanguageJava
No one’s star this repository yet.