/grelling-paradox-lean

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

Primary LanguageLeanMIT LicenseMIT

No issues in this repository yet.