GitHub repository: leanprover/lean2
Primary language: C++
Created: 2016-12-01T21:15:56Z
Description: Lean theorem prover version 0.2 (it supports standard and HoTT modes)