CrocSwap/integer-mult-bounds

Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.

Python197 stars85 forksApache-2.0

Momentum

CrocSwap/integer-mult-bounds has 197 GitHub stars.

It currently ranks #48230 daily, #48126 weekly, #48437 monthly by momentum on Trending Repos; its best-ever rank is #4721.

Rankings

PeriodRankScore

Daily

#482300.0

Weekly

#481260.0

Monthly

#484370.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #4721

Format

Markdown

[![CrocSwap/integer-mult-bounds badge](https://trending-repos.com/badge/CrocSwap/integer-mult-bounds.svg?v=3)](https://trending-repos.com/repositories/CrocSwap/integer-mult-bounds?utm_source=github&utm_medium=badge)

CrocSwap/integer-mult-bounds

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

CrocSwap/integer-mult-bounds

Momentum

Rankings

Engagement

Similar trending repositories

Embeds