CSymLean

swMATH9983MaRDI QIDQ21960FDOQ21960

Author name not available (Why is that?)

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