NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Isabelle
.gitignore
.htaccess
LICENSE.txt
NaDeA.thy
Natural_Deduction_Assistant.thy
README.md
index.css
index.html
index.nadea
index.ts
proofjudge.ts
references.d.ts

README.md

NaDeA - Natural Deduction Assistant

With a Formalization in Isabelle

Developers: Jørgen Villadsen, Andreas Halkjær From, Alexander Birch Jensen & Anders Schlichtkrull

Please provide feedback to Associate Professor Jørgen Villadsen, DTU Compute, Denmark: http://people.compute.dtu.dk/jovi/


Firefox on Windows is the reference browser.

Chrome on Windows is the main alternative browser.