Learning-Assisted Reasoning within Proof Assistants

Thibault Gauthier
PhD thesis, University of Innsbruck,  2018.

abstract   BibTeX   PDF