• Collectives
• Projects
• Funders
• Audit
• Advisories

Formalized Formal Logic

Formalizing Mathematical Logic in Lean Theorem Prover
Collective - Host: opensource - https://opencollective.com/formalizedformallogic - Website: https://formalizedformallogic.github.io/ - Code: https://github.com/formalizedformallogic

• Overview
• Projects 8
• Issues and Pull Requests 0
• Releases 0
• Commits 0
• Packages 3
• Advisories 0
• Transactions

github.com/FormalizedFormalLogic/Foundation

Formalization of Mathematical Logic

Stars: 262 - Last synced: 08 Aug 2026

github.com/FormalizedFormalLogic/LabelledSystem

Label-based Caliculi for Modal Logic

Stars: 1 - Last synced: 08 Aug 2026

github.com/FormalizedFormalLogic/.github

Formalized Formal Logic

Stars: 0 - Last synced: 08 Aug 2026