GitHub repository: kckennylau/lean-stacks-project
Primary language: Lean
Description:  Formal verification of parts of the Stacks Project in Lean