search

agrarpan / coq-synthesis

coq-synthesis is a Coq plugin for proof generation and next tactic prediction
12 stars 1 forks source link

Where can I find Proverbot? #1

Closed tlringer closed 1 year ago

tlringer commented 1 year ago

The instructions say to use Proverbot. Can we add a link to Proverbot and the installation instructions for that? Or is that included already?

agrarpan commented 1 year ago

The setup script handles the cloning and setting up of Proverbot, but I'll add a link to Proverbot anyway.