8000 feat: add deterministic Comparator-ready package boundary by Mnehmos · Pull Request #61 · Mnehmos/MathOS · GitHub
[go: up one dir, main page]
Skip to content

feat: add deterministic Comparator-ready package boundary - #61

Merged
Mnehmos merged 2 commits into
mainfrom
feat/60-comparator-package
Jul 22, 2026
Merged

feat: add deterministic Comparator-ready package boundary#61
Mnehmos merged 2 commits into
mainfrom
feat/60-comparator-package

fix: accept release-compatible primed Lean names

36ae958
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar
0