QUALIFIED C PROGRAMMING

News

Project updates and recent progress from QCP.

2026-10-10

Second online preliminary of the second theorem proving competition's human–AI collaboration track

2026-09-28

QCP team releases the PV-BENCH program verification benchmark

2026-09-21

First online preliminary of the second theorem proving competition's human–AI collaboration track

2026-09-18

Verifying a CDCL solver in one week of collaboration

Browse release history →