GitHub repository: sirkerf/my_project
Primary language: Lean
Description: LEAN4