mastodon — José A. Alonso — 10 Sep 2026
A Lean 4 formalization of Scott's continuous lattices (1972). ~ Lars Warren Ericson. https:// arxiv.org/abs/2606.307…
#proof-assistants #formal-verification #order-theory
A Lean 4 formalization of Scott's continuous lattices (1972). ~ Lars Warren Ericson. https:// arxiv.org/abs/2606.30782v2 # LeanProver # ITP # AI4Math