CSymLean

CSymLean: A theorem prover for the logic CSL over symmetric minspaces.The logic CSL of comparative concept similarity has been introduced by Sheremet, et al. to capture a form of qualitative similarity comparison. We present here 𝒞𝒮ymℒean, the first theorem-prover for CSL interpreted on symmetric minspaces. It is a Prolog implementation of a labelled tableau calculus recently proposed for this logic, and it is inspired by the Lean methodology.