https://github.com/claby2/axiomatic-set-theory

∃∀ Formalizing Enderton's "Elements of Set Theory" in Lean
https://github.com/claby2/axiomatic-set-theory

enderton lean set-theory

Last synced: about 2 months ago
JSON representation

∃∀ Formalizing Enderton's "Elements of Set Theory" in Lean

• Host: GitHub
• URL: https://github.com/claby2/axiomatic-set-theory
• Owner: claby2
• Created: 2024-11-15T06:02:37.000Z (3 months ago)
• Default Branch: main
• Last Pushed: 2024-12-09T05:22:03.000Z (2 months ago)
• Last Synced: 2024-12-09T06:26:45.665Z (2 months ago)
• Topics: enderton, lean, set-theory
• Language: Lean
• Homepage:
• Size: 59.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project