定理证明竞赛（测试） Ended
Nov. 7, 2026, midnight – Nov. 8, 2026, midnight
Problems
McCarthy 91 Function / McCarthy 91 函数Does the Array Contain Zero? / 判断数组中是否有零Array Sum / 数组求和The First Element Greater Than x: Linear Search / 第一个大于 x 的元素：线性搜索
Announcements
No announcements.