Mollusc

swMATH32624MaRDI QIDQ44335FDOQ44335

Official website https://link.springer.com/chapter/10.1007/3-540-58156-1_69

Cited in

(2)

• Middle-out reasoning for synthesis and induction
• \textit{Mollusc}: a general proof-development shell for sequent-based logics

This page was built for software: Mollusc