Färber, Michael: Learning Proof Search in Proof Assistants. 2018
Inhalt