Formalization of the Grelling's Paradox in the Lean Theorem Prover (and programming language)
Primary LanguageLeanMIT LicenseMIT