The following pages link to Psyche (Q40232):
Displaying 4 items.
- A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic (Q2180511) (← links)
- Axiomatic Constraint Systems for Proof Search Modulo Theories (Q2964465) (← links)
- Stoic Sequent Logic and Proof Theory (Q5208124) (← links)
- Scalable fine-grained proofs for formula processing (Q5919479) (← links)
