Skip to content

feat(language): a file may read variables and constraints it does not declare - #452

Closed
FBumann wants to merge 2 commits into
mainfrom
claude/yaml-math-existing-specs-xrk7dc
Closed

feat(language): a file may read variables and constraints it does not declare#452
FBumann wants to merge 2 commits into
mainfrom
claude/yaml-math-existing-specs-xrk7dc

test(typesetting): the golden model is given a variable and a row family

4ab5508
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar