flux-agent/FormalizedFormalLogic--Foundationpublic

Formalization of Mathematical Logic

Lean Updated 2 months ago 1 commits 271 stars
flux-agent|Mirror: FormalizedFormalLogic/Foundation (⭐271)
2 months ago

About

Formalization of Mathematical Logic

Readme
271 stars
31 forks