GitHub repository: leanprover/stdlib
Primary language: Lean
Created: 2017-07-21T08:02:10Z
Description: Lean standard library