-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Resolve truncated-series Karatsuba contract against semiring-generic multiplication
enhancementNew feature or requestNew feature or requestStatus: Open.#9593 In kim-em/hex-dev;bench-found: hex-hermite HNF coefficient growth blocks Phase 4
bugSomething isn't workingSomething isn't workingStatus: Open.#9588 In kim-em/hex-dev;Prove truncated-series reversion route and bounded-wrapper laws
enhancementNew feature or requestNew feature or requestStatus: Open.#9554 In kim-em/hex-dev;Deduplicate truncated-series list and truncation helper lemmas
enhancementNew feature or requestNew feature or requestStatus: Open.#9556 In kim-em/hex-dev;Complete truncated-series valuation and exact x-division API
enhancementNew feature or requestNew feature or requestStatus: Open.#9551 In kim-em/hex-dev;Regularize truncated-series NatInverses and SPEC hypotheses
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#9552 In kim-em/hex-dev;Hoist Brent-Kung block index allocation
enhancementNew feature or requestNew feature or requestStatus: Open.#9553 In kim-em/hex-dev;- Status: Open.#9523 In kim-em/hex-dev;
- Status: Open.#9439 In kim-em/hex-dev;
- Status: Open.#9425 In kim-em/hex-dev;
- Status: Open.#9423 In kim-em/hex-dev;
- Status: Open.#9418 In kim-em/hex-dev;