HOL-Theorem-Prover / SublimeHOL

SublimeHOL - A HOL Development Environment built on top of SublimeREPL

https://github.com/JamesShaker/SublimeHOL

Geek Repo

Github PK Tool