Plumbing for a system to recommend hints for Prover9 input files.
zmike808 / prover9nudge Goto Github PK
View Code? Open in Web Editor NEWThis project forked from brassogre/prover9nudge
Plumbing for a system to automagically recommend hints for Prover9
License: GNU General Public License v3.0