Skip to content

feat(language): a model declares what it assumes of its data, and the typeset math prints it - #471

Closed
FBumann wants to merge 6 commits into
claude/zealous-archimedes-k13bq7-arithmetic-wherefrom
claude/zealous-archimedes-k13bq7-assumptions
Closed

feat(language): a model declares what it assumes of its data, and the typeset math prints it#471
FBumann wants to merge 6 commits into
claude/zealous-archimedes-k13bq7-arithmetic-wherefrom
claude/zealous-archimedes-k13bq7-assumptions

fix(typesetting): a where prints its comparison once, through the ali…

b3da35b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar