PrototypeCommon
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- Owner
- lukaszcz (personal account)
- Stars
- Stars: 249
- Forks
- Forks: 39
- Language
- OCaml
- License
- None
- Created
- 2018
- Topics
- coqhammerautomationproof-searchtheorem-proververificationdependent-typesrocqrocq-prover
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in OCaml
All OCaml repos- nlsandler/nqcc2Stars: 252OCamlAlpha
- RedPRL/coolttStars: 251OCamlAlpha
- Zilliqa/scillaStars: 249OCamlPrototype
- arthaud/c2bfStars: 248OCamlPrototype
- anmonteiro/reason-graphql-fullstackStars: 245OCamlPrototype
- alavrik/piqiStars: 244OCamlPrototype