Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Primary LanguageC++Apache License 2.0Apache-2.0