Mollusc

swMATH32624MaRDI QIDQ44335FDOQ44335

Author name not available (Why is that?)

Cited In (2)

• Mollusc a general proof-development shell for sequent-based logics
• Middle-out reasoning for synthesis and induction

This page was built for software: Mollusc