Lean 4 formalization of Unlimited Register Machines for CSLib
formalizationtheoretical-computer-scienceregister-machinemathlibcslibcomputabilitylean4church-turing-thesis
-
Updated
Jan 25, 2026 - Lean
Lean 4 formalization of Unlimited Register Machines for CSLib
Lean 4 finite-model-theory library for locality, EF games, and invariant interfaces
To associate your repository with the cslib topic, visit your repo's landing page and select "manage topics."