@hackage / GenZ

Generic Sequent Calculus Prover using the Zipper