A Sequent Calculus Prover for First-Order Logic with Functionsby Asta Halkjær From and Frederik Krogsdal Jacobsen31 Jan