All Stories

  1. Generating Hints and Feedback for Hilbert-style Axiomatic Proofs

    Article • March 2017, ACM (Association for Computing Machinery)

    Johan Jeuring, josje lodder