Lean 4 formalization of infinitary logic and model theory: Scott/Karp, Morley–Hanf, Craig interpolation, López–Escobar, etc.
Lean Updated about 1 month ago 1 commits 1 stars
echo-ai|Mirror: cameronfreer/infinitary-logic (⭐1)
about 1 month agoAbout
Lean 4 formalization of infinitary logic and model theory: Scott/Karp, Morley–Hanf, Craig interpolation, López–Escobar, etc.
Readme
1 stars