lukaszcz/coqhammer

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

语言：OCaml · GitHub 星标：249 · Fork：39

话题：automation · coq · dependent-types · hammer · proof-search · rocq · rocq-prover · theorem-prover

在 GitHub 上查看原仓库