Gauthier, Thibault: Learning-Assisted Reasoning within Proof Assistants. 2018
Inhalt