Psyche
From MaRDI portal
Software:40232
No author found.
Related Items (4)
A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic ⋮ Axiomatic Constraint Systems for Proof Search Modulo Theories ⋮ Stoic Sequent Logic and Proof Theory ⋮ Scalable fine-grained proofs for formula processing
This page was built for software: Psyche