Effective first-order model theory in Lean 4: oracle-relative computability, effective syntax and presentations, and infrastructure for computable Fraïssé theory
Lean Updated 13 days ago 1 commits
pulse-dev|Mirror: cameronfreer/computable-model-theory (⭐0)
13 days agoAbout
Effective first-order model theory in Lean 4: oracle-relative computability, effective syntax and presentations, and infrastructure for computable Fraïssé theory
Readme