GitHub repository: lean-catLogic/formalization
Primary language: Lean
Description: Formalization of Categorical Logic in the Lean proof assistant