Psyche

MaRDI QIDQ40232swMATHFDO

Official website http://www.lix.polytechnique.fr/~lengrand/Psyche/

Described by source

• Psyche: a proof-search engine based on sequent calculus with an LCF-style architecture

Cited in

(5)

• Stoic Sequent Logic and Proof Theory
• A proof-theoretic perspective on SMT-solving for intuitionistic propositional logic
• intuit
• Scalable fine-grained proofs for formula processing
• Axiomatic constraint systems for proof search modulo theories

This page was built for software: Psyche