Leanlean Active


Description

No description available. You can request to update it by clicking this link.
Open new issue
Homepage
https://leanprover.github.io/
Version
3.4.1
Source file
source file
Hits
203

Install Lean

brew install lean

Dependencies 0

This formula has no dependencies.