GitHub repository: leanprover/lean-nightly
Created: 2017-07-26T15:07:28Z
Description: Lean nightly builds