NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle

Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

315 Downloads (Pure)

Fingerprint

Dive into the research topics of 'NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle'. Together they form a unique fingerprint.

Computer Science