Concise outlines for a complex logic: a proof outline checker for TaDA.

Felix A. Wolf Malte Schwerhoff Peter Müller

Published in: Formal Methods Syst. Des. (2022)

Keyphrases

natural deduction
proof search
modal logic
proof theory
data mining
high level
theorem prover
automated reasoning
neural network
information retrieval
artificial intelligence
complex data
theorem proving
asynchronous circuits
automated theorem proving