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