CertiK Sponsors the First Theorem Proving Competition, Supported by OpenMath
ID: 505440ea-aa50-533b-9e37-7c37d9b07972
STIX ID: report--505440ea-aa50-533b-9e37-7c37d9b07972
Feed Name: CertiK Blog
The report announces the Theorem Proving Competition sponsored by CertiK and organized by the CCF, and describes OpenMath — a decentralized science (DeSci) platform developed by Shentu Chain and CertiK — which enables on-chain recording and Rocq/Lean-based formal verification of mathematical proofs, uses a two-phase submission to protect IP, and provides token incentives to foster collaborative research and formal verification talent.
Your team is not currently subscribed to this feed. You must subscribe to it in order to see this post.