Shentu Chain (@ShentuChain): 🚨Open Theorems Alert #12
Estimated coin impact
Scores are not price-change percentages. High impact means a score of +70 or more, or -70 or less.
- CTK+10Positive
🚨Open Theorems Alert #12 0x0012 :: Local Minimum Proof: Main Theorem Hurry! Reward ends in 14 days. Submit your proof or help fund the theorem. The main theorem validating the binary search algorithm. >> Suggested Difficulty: Intermediate >> Reward: 41 $CTK Submit your proof or contribute funding. Verify truth on-chain: https://openmath.shentu.org/OpenMath/Theorems/26?from=open #OpenMath #OpenTheorems #Rcoq