PrototypeCommune
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- Propriétaire
- lukaszcz (compte personnel)
- Étoiles
- Étoiles : 249
- Forks
- Forks : 39
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2018
- Sujets
- coqhammerautomationproof-searchtheorem-proververificationdependent-typesrocqrocq-prover
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts OCaml
Tous les dépôts OCaml- nlsandler/nqcc2Étoiles : 252OCamlAlpha
- RedPRL/coolttÉtoiles : 251OCamlAlpha
- Zilliqa/scillaÉtoiles : 249OCamlPrototype
- arthaud/c2bfÉtoiles : 248OCamlPrototype
- anmonteiro/reason-graphql-fullstackÉtoiles : 245OCamlPrototype
- alavrik/piqiÉtoiles : 244OCamlPrototype