Trades on 1 secondary market

Lean

Lean is an open-source theorem prover and programming language based on dependent type theory, designed for formal verification of mathematics and software. It supports interactive proof development and is used by mathematicians and computer scientists.

emerging 21.2 / 100 1 API View provider profile →

Dependent Types Formal Verification Programming Language Theorem Prover

Lean is an API provider whose private shares are listed on 1 secondary market: EquityZen.

Lean publishes 1 API indexed on the APIs.io network.

Where It Trades

EZ EquityZen View listing →

Listing data is compiled from the public marketplace pages of Forge Global, Hiive, EquityZen, Nasdaq Private Market, and Augment. A listing indicates that a venue has published a page for this company — it is not an offer, a quote, or investment advice, and APIs.io has no affiliation with any venue.