Learning Proof Search in Proof Assistants

Michael Färber
PhD thesis, University of Innsbruck, 2018.

abstract   BibTeX   PDF