GenZ: A Generic Sequent Calculus Prover using the Zipper
GenZ is introduced, a generic theorem prover for sequent calculi implemented in Haskell that allows the user to specify a set of sequent rules, over which it performs proof search, and employs the zipper data structure.
Xiaoshuang Yang, Malvin Gattinger, Marianna Girlando et al.
· 0 citations