integer-mult-bounds
CrocSwap
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
Python
Apache License 2.0139
Stars
52
Forks
3
Watchers
104
Issues
Star 增长
今日0
近 7 天0
近 30 天0
综合评分41.17
默认分支main
暂无 README 内容
项目可能尚未同步完成，请稍后查看