• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Generating Hints and Feedback for Hilbert-style Axiomatic Proofs.

Josje LodderBastiaan HeerenJohan Jeuring
Published in: SIGCSE (2017)
Keyphrases
  • databases
  • theorem prover
  • feedback mechanisms
  • user feedback
  • human operators
  • automatically generating
  • formal proof
  • clifford algebra