Similar repositories to sorinica/spike-prover:

• sorinica/spike-prover github similar
• picnic/RelationExtraction github similar
• CoqEAL/CoqEAL github similar
• coq-community/coqeal github similar
• sneeuwballen/zipperposition github similar
• mattam82/Coq-Equations github similar
• lukaszcz/coqhammer github similar