#Formal-proofs

Showing 1 of 1 repositories tagged #formal-proofs, ranked by stars

★ 75 ⑂ 9 —

Related Topics

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