Proof Assistants as Teaching Assistants: A View from the Trenches.

Benjamin C. Pierce

Published in: ITP (2010)

Keyphrases

teaching assistants
neural network
multiple views
theorem prover
multiresolution
intelligent agents
database
information retrieval
information systems
face recognition
multiscale
digital libraries
information technology
viewpoint
inference rules
theorem proving