2 results found Sort:
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Created
2018-01-31
591 commits to coq8.19 branch, last one 2 months ago
This repository has no description...
Created
2016-08-10
1,544 commits to master branch, last one 4 days ago