Coq Support in HAHA.

Jacek Chrzaszcz Aleksy Schubert Jakub Zakrzewski

Published in: TYPES (2016)

Keyphrases

end users
artificial intelligence
learning scenarios
three dimensional
similarity measure
knowledge management
decision support
model checking
theorem prover