skills/flyingnobita

flyingnobita

该作者当前已收录 1 个 Skill。

acorn-prover

🧮数学与密码学定理形式化验证

基于 Acorn 定理证明器，为数学和密码学协议提供严格的形式化验证能力，确保代码与数学证明的绝对正确性。