GitHub repository: FormalizedFormalLogic/Summary
Primary language: Lean
Description: Documentation of this project