LeanProver (LeanLang) Price, Chart & Trading on Solana