filipbartek/vampire-ml

Machine learning extensions for Vampire Theorem Prover

Python