CoqHammer
General-purpose automated reasoning hammer tool that combines learning from previous proofs with the translation of problems to automated provers and the reconstruction of found proofs.
- from
- Coq
- added
- 2026-10-10
- likes
- 0
Coq › Projects > Plugins: “General-purpose automated reasoning hammer tool that combines learning from previous proofs with the translation of problems to automated provers and the reconstruction of found proofs.”