Login / Signup

Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA.

Felix A. WolfMalte SchwerhoffPeter Müller
Published in: FM (2021)
Keyphrases
  • linear logic
  • logic programming
  • complex data
  • natural deduction
  • multi agent systems
  • theorem proving
  • automated theorem proving
  • neural network
  • information systems
  • website
  • proof theory
  • cut elimination
  • proof theoretic