Skip to content

feat: modernize per AGENTS.md, add hardware backends, padic, isabelle verification - #9

Merged
sergiorandria merged 85 commits into
mainfrom
dev
Sep 4, 2026
Merged

feat: modernize per AGENTS.md, add hardware backends, padic, isabelle verification#9
sergiorandria merged 85 commits into
mainfrom
dev

fix(bigint): fallback unary minus string-based, no stoll overflow

73fd706
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar