GitHub repository: ramonfmir/lean-scheme
Primary language: Lean
Description: Schemes in Lean