Educational Pearl: 'Proof-directed debugging' revisited for a first-order version.

Published in: J. Funct. Program. (2006)

Keyphrases

first order logic
theorem proving
higher order
e learning
multimedia
fault localization
theorem prover
learning technologies
inference rules
educational games
educational technology
educational systems