Shentu Chain (@ShentuChain): We’re excited to see the launch of the first Theorem Proving Competition, powered by OpenMath, the world’s first decentralized mathematical platform d…
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’re excited to see the launch of the first Theorem Proving Competition, powered by OpenMath, the world’s first decentralized mathematical platform developed by Shentu Chain and @CertiK .