GitHub repository: mhuisi/lean4
Primary language: C
Description: Lean4 work in progress repo