A Tool for Automated Theorem Proving in Agda.

Fredrik Lindblad Marcin Benke

Published in: TYPES (2004)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
artificial intelligence
website
databases
data mining
relational databases
user friendly
software tools