Skip to content

[TS] Model Math and Number builtins - #442

Open
CaelmBleidd wants to merge 1 commit into
mainfrom
caelmbleidd/stdlib-numeric-pr391
Open

CaelmBleidd wants to merge 1 commit into
mainfrom
caelmbleidd/stdlib-numeric-pr391

Model numeric builtins with verified global ownership

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

Annotations

2 warnings
ci-core
succeeded Oct 7, 2026 in 47s