1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2025★ 1 cited
Minimal Sequent Calculus for Teaching First-Order Logic: Lessons Learned
Jørgen Villadsen
MiniCalc is a web app for teaching first-order logic based on a minimal sequent calculus. As an option the proofs can be verified in the Isabelle proof assistant. We present the le…
cs.LO2024
Teaching Higher-Order Logic Using Isabelle
Simon Tobias Lund, Jørgen Villadsen
We present a formalization of higher-order logic in the Isabelle proof assistant, building directly on the foundational framework Isabelle/Pure and developed to be as small and rea…