Shentu Chain (@ShentuChain): We are thrilled to announce that OpenMath now officially supports Lean, building on our existing foundation with Rocq (formerly Coq).
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
Impact unavailable
We are thrilled to announce that OpenMath now officially supports Lean, building on our existing foundation with Rocq (formerly Coq). This expansion gives more flexibility, lowers collaboration barriers, and strengthens verifiable math knowledge. Check out the new Lean support, submit your proofs, and see how your work can contribute to an open, reliable DeSci infrastructure: https://t.co/RpkMnCXuWA