Posts about $LEAN
What makes LEAN special?
No records found
Frequently asked questions
What is Lean?
Lean (LEAN) on Solana appears to be a token associated with a project that aims to enable writing Solana programs in Lean 4, a functional programming language and theorem prover. This allows developers to write and formally verify properties about Solana smart contracts, potentially enhancing their correctness and security.
What chain is Lean on?
Lean is on Solana.
How many holders does Lean have?
Lean has 318 holders.
What is the current price of Lean?
The current price of Lean is $0.00.
What is the TokenGems score of Lean?
The TokenGems score of Lean is 30. A 0–100 quality rating computed from price performance, holder distribution, trading volume, and community activity.