2 results found Sort:

lukaszcz
coqhammer lukaszcz
31
222
other
8
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
coq hammer automation proof-search verification theorem-prover dependent-types
Created 2018-01-31
597 commits to coq8.20 branch, last one 2 months ago
data61
PSL data61
9
66
other
9
This repository has no description...
hol itp psl proof isabelle induction conjecture proof-search formal-proofs formal-methods proof-assistant machine-learning proof-strategies formal-verification artificial-intelligence domain-specific-language interactive-theorem-proving
Created 2016-08-10
1,559 commits to master branch, last one 2 months ago