Skip to content

Propagate Self trait bound into invariant_context formula fns#131

Merged
coord-e merged 2 commits into
mainfrom
claude/epic-pasteur-7buhri
Jun 16, 2026
Merged

Propagate Self trait bound into invariant_context formula fns#131
coord-e merged 2 commits into
mainfrom
claude/epic-pasteur-7buhri

style fix

addc3c6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar