A Proof Strategy Language and Proof Script Generation for Isabelle.

Yutaka Nagashima Ramana Kumar

Published in: CoRR (2016)

Keyphrases

theorem prover
natural deduction
theorem proving
programming language
proof theory
automated theorem proving
databases
proof planning
text generation
relational databases
multi agent
website
database
language learning
collaborative learning
natural language
data mining