Frederik Krogsdal Jacobsen

A Sequent Calculus Prover for First-Order Logic with Functions

by Asta Halkjær From 🌐 and Frederik Krogsdal Jacobsen 🌐