search

dwhalen / holophrasm

Holophrasm: a neural Automated Theorem Prover for higher-order logic
MIT License
51 stars 13 forks source link

Auto-prove unproven #2

Open david-a-wheeler opened 6 years ago

david-a-wheeler commented 6 years ago

Instead of trying to prove everything, it would be awesome to have a mode where only tried to prove what is not yet proven. Presumably, it could spend far more time on such things. I would love to see such a mode implemented.