GitHub repository: kbuzzard/lean-stacks-project
Primary language: Lean
Created: 2018-02-18T10:26:14Z
Description:  Formal verification of parts of the Stacks Project in Lean