15 citations · 32 across the 4 of their papers we have counts for
1 paper · 1 filter
Jørgen Villadsen, Andreas Halkjær From, Anders Schlichtkrull
We describe our Natural Deduction Assistant (NaDeA) and the interfaces between the Isabelle proof assistant and NaDeA. In particular, we explain how NaDeA, using a generated prover…