Keyword:OpenTheory

Papers
Challenges in Using OpenTheory to Transport Harrison's HOL Model from HOL Light to HOL4 Ramana Kumar In:PxTP 2013. Third International Workshop on Proof Exchange for Theorem Proving