GitHub repository: matematiflo/MathlibTemplate
Primary language: Lean
Created: 2023-10-22T15:30:50Z
Description: Lean Template (with mathlib)