GitHub repository: leanprover/library_dev
Created: 2016-08-24T01:00:56Z
Description: Lean standard library (development)