Mollusc

swMATH32624MaRDI QIDQ44335FDOQ44335

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: Mollusc