# CrocSwap/integer-mult-bounds

> A research repository of community proofs improving the asymptotic exponent for integer multiplication (κ > 2^-15), with certificates, Lean checks and reproducible audits.

- Magnitude: 5.3 out of 10 — Early signal
- Stars: 96 total · Not enough measurements today
- Star trust: star growth looks organic
- Category: Science & research · Language: Python · License: Apache-2.0 · Created: 2026-10-07 · Last push: 2026-10-08
- GitHub: https://github.com/CrocSwap/integer-mult-bounds · Page: https://gitnova.dev/en/r/CrocSwap/integer-mult-bounds

## Useful for

- Reproduce checks via make verify-pair and make verify-joint
- Study the Lean certificates and axiom audit from PR #61
- Verify recurrence assembly arithmetic with an independent script

## Why it’s here

- There are not enough fresh counter measurements for today's UTC day. The gain is unknown.
- The repository is 2 days old and already has 96 stars. With less than two weeks of history, there's no usual pace to compare the spike against yet.
- Top new repositories this week: #150.
- About 51 forks a day — people are taking the code.
- Recent forks include notable developers: @Th0rgal (539 followers), @anxkhn (396 followers).

## Star trust

Star growth looks organic.

Star-trust labels are heuristics based on the repository’s behavior, not a check of every stargazer.

## Numbers

- Forks: 35
- Issues and pull requests: 118
- Watchers: 1
- Average over the last week: 47 per day
- Usual pace: too little history (under two weeks)
- Stars in the last hour (measured): 0
- Latest release: community-kappa-15-2026-10-08 (2026-10-08)

## Stars per day, last 6 days (oldest → newest, today is partial)

2026-10-04 … 2026-10-09: 0, 0, 0, 49, 47, None

## Magnitude by day, last 2 days

10-08 4.4, 10-09 5.3

## Spotted in now

- Top new repositories this week: #150

## Similar by description

1. **Queuingtheorydotcom/11SquaresFormalized** — 2.0 · Steady · Science & research · Lean · Not enough measurements today
   Lean formalization of the optimality proof for packing 11 squares, including the exact side length and native numerical certificate checks via native_decide.
   Full card: https://gitnova.dev/en/r/Queuingtheorydotcom/11SquaresFormalized.md

---

Magnitude (0–10) measures how fast and how unusually interest in a repository is growing right now. It is not a quality score.
Days are UTC. “So far today” is a fact; “expected by the end of the day” is a forecast.
Summaries and use cases are written by an LLM (DeepSeek V4.1 Flash) from the README and may be inaccurate: verify specific claims (benchmarks, speed, hardware) in the repository itself.
Data as of 2026-10-09 00:17 UTC, updated every 30 minutes.