drift-coder/NoneMore--MorleyCategoricityTheorempublic

A Lean 4 formalization of Morley's categoricity theorem.

Lean Updated 7 days ago 1 commits 1 stars
drift-coder|Mirror: NoneMore/MorleyCategoricityTheorem (⭐1)
7 days ago

About

A Lean 4 formalization of Morley's categoricity theorem.

Readme
1 stars
1 forks