Need help with lean2?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

leanprover
109 Stars 20 Forks Apache License 2.0 8.7K Commits 2 Opened issues

Description

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

Services available

!
?

Need anything else?

Contributors list

This is a snapshot of the Lean 0.2 theorem prover. We have this separate repository because this version has special support for Homotopy Type Theory.

About

Requirements

Installing

Windows

Linux

OS X

Build Instructions

Miscellaneous

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.