Learning-assisted reasoning within proof assistants / by Thibault Gauthier. Innsbruck, 1 August 2018
Inhalt