leanprover / lean2Links

Lean theorem prover version 0.2 (it supports standard and HoTT modes)
121Updated 3 years ago

Alternatives and similar repositories for lean2

Users that are interested in lean2 are comparing it to the libraries listed below

Sorting: