Proof of Lawvere's fixed point theorem in Lean 4
Primary LanguageLean
No issues in this repository yet.