GitHub repository: FormalizedFormalLogic/LogicsKite
Primary language: Lean
Description: Kites of Logics