@hackage / GenZ

Generic Sequent Calculus Prover using the Zipper

0.1.0.0

Security Advisories

No advisories found.