CSymLean

MaRDI QIDQ21960swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-22119-4_4

Cited in

(2)

• CSLLean
• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

This page was built for software: CSymLean