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