GitHub repository: kodyvajjha/lean2
Primary language: C++
Description: Lean theorem prover version 0.2 (it supports standard and HoTT modes)