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

Rgis Alenda, Nicola Olivetti

Browse the full TABLEAUX paper archive.