OPEN SOURCE, IN FOCUS

integer-mult-bounds

crocswap/integer-mult-bounds

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

Saved projects stay in this browser. No account needed.

TAKE A CLOSER LOOK

Start with the source.

The repository is the place to check installation steps, supported platforms, the license, and current maintenance before choosing a tool.

Find projects in the same areas, or search the archive for a different approach.