A proof-of-concept LCF-style interactive theorem prover for HOL(C)
Primary LanguageScalaOtherNOASSERTION