9 citations · 9 across the 1 of their papers we have counts for
1 paper
Asta Halkjær From, Frederik Krogsdal Jacobsen, Jørgen Villadsen
We describe SeCaV, a sequent calculus verifier for first-order logic in Isabelle/HOL, and the SeCaV Unshortener, an online tool that expands succinct derivations into the full SeCa…