Skip to content

feat(wordram): complete NativePrimitives for standard, additive, arithmetic, and exact bases - #676

Merged
SamuelSchlesinger merged 2 commits into
mainfrom
feat/wordram-native-primitives-489
Oct 24, 2026
Merged

SamuelSchlesinger merged 2 commits into
mainfrom
feat/wordram-native-primitives-489

fix(polytime): dispatch plain goals to their certificates (#489, #608)

ac297bf
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 24, 2026 in 3s