GitHub repository: FormalizedFormalLogic/Foundation
Primary language: Lean
Description: Formalization of Mathematical Logic