Fossy
fossy
Back CrocSwap/integer-mult-bounds
integer-mult-bounds

integer-mult-bounds

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

170 67
Apache-2.0
 last commit 2026-10-10
Source
Share:

About

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

Languages

Python61%TeX18.1%Lean16.7%C++3.9%Makefile0.3%Shell0%PowerShell0%

Contributors18

Mister-Meeseeks61chafreaky17rohanarun14icekylinx9alejandrozu6claude6eumemic4hpst3r3ikeboy2DaysSky2DreamingOfClouds2rohangar12gupt11562rfu082+4

No features listed.

Comments Theme
Install
Build from source
slug: integer-mult-bounds

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)