#Hol

Showing 1 of 1 repositories tagged #hol, ranked by stars

★ 75 ⑂ 9 —

Related Topics

#artificial-intelligence #conjecture #domain-specific-language #formal-methods #formal-proofs #formal-verification #induction #interactive-theorem-proving #isabelle #itp #machine-learning #proof