QUALIFIED C PROGRAMMING

News

QCP 的项目动态与最新进展。

2026-10-10

第二届定理证明竞赛人与 AI 协作赛道第二场线上初赛举行

2026-09-28

QCP 团队发布程序验证基准 PV-BENCH

2026-09-21

第二届定理证明竞赛人与 AI 协作赛道首场线上初赛举行

2026-09-18

一周协作，完成 CDCL 求解器的形式化验证

查看版本发布记录 →