Contests
定理证明竞赛（正式） Upcoming
Nov. 8, 2026, 9 a.m. – Nov. 8, 2026, noon
定理证明竞赛（测试） Ended
Nov. 7, 2026, midnight – Nov. 8, 2026, midnight
程序验证线上初赛第二场 Ended
Oct. 10, 2026, 7 p.m. – Oct. 10, 2026, 9 p.m.
程序验证线上初赛第一场 Ended
Sept. 20, 2026, 7 p.m. – Sept. 20, 2026, 9 p.m.
Hello C* Ended
Sept. 10, 2026, noon – Sept. 17, 2026, noon