GitHub repository: leanprover/lean3
Primary language: C++
Created: 2016-02-07T22:09:29Z
Description: Next version of the Lean theorem prover (work in progress)