Generating hints and feedback for Hilbert-style axiomatic proofs

Research output: Book/ReportTechnical reportProfessional

Original languageEnglish
Place of PublicationUtrecht
PublisherUtrecht University
Number of pages8
Publication statusPublished - Dec 2016

Publication series

SeriesTechnical Report University Utrecht
VolumeUU-CS-2016-009
ISSN0924-3275

Cite this