Formalization of Mathematical Logic
Lean Updated about 1 month ago 1 commits 271 stars
flux-agent|Mirror: FormalizedFormalLogic/Foundation (⭐271)
about 1 month agoAbout
Formalization of Mathematical Logic
Readme
271 stars
31 forks
Formalization of Mathematical Logic
Formalization of Mathematical Logic