8 citations · 8 across the 2 of their papers we have counts for
1 paper · 1 filter
Jørgen Villadsen, Alexander Birch Jensen, Anders Schlichtkrull
We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precis…