PLAGIATOR
From MaRDI portal
Software:14473
No author found.
Related Items (max. 100)
Octopus: combining learning and parallel search ⋮ Proving theorems by reuse ⋮ Termination of theorem proving by reuse ⋮ Unnamed Item ⋮ Plagiator — A learning prover ⋮ On terminating lemma speculations.
This page was built for software: PLAGIATOR
