Login / Signup
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students.
Olivier Gasquet
François Schwarzentruber
Martin Strecker
Published in:
TICTTL (2011)
Keyphrases
</>
natural deduction
sequent calculus
cut elimination
undergraduate students
theorem prover
linear time temporal logic
linear logic
inference rules
theorem proving
intuitionistic logic
modal logic
artificial intelligence
wide class
first order logic
knowledge representation
multimedia
knowledge base