PLAGIATOR

swMATH1825MaRDI QIDQ14473FDOQ14473

Author name not available (Why is that?)

Cited In (6)

• On terminating lemma speculations.
• Octopus: combining learning and parallel search
• Termination of theorem proving by reuse
• Plagiator — A learning prover
• Title not available (Why is that?)
• Proving theorems by reuse

This page was built for software: PLAGIATOR