deepseek-prover-v1.5:幻方量化在数学定理证明领域取得重大突破

rollup 摇钱树:排序器的蛋糕分配及去中心化解决方案

prove的用法有哪些

预订 isabelle: a generic theorem prover

一文了解零知识证明当中的sum-check protocol - 币