Lean theorem prover version 0.2 (it supports standard and HoTT modes) - View it on GitHub