AIbase
Product LibraryTool Navigation

coqhammer

Public

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

Creat2018-01-31T19:31:02
Update2025-02-17T07:55:57
227
Stars
0
Stars Increase

Related projects