Skip to content

Derive named auxiliary legs in project - #231

Merged
mtfishman merged 6 commits into
mainfrom
mf/project-aux-leg
Jul 27, 2026
Merged

Derive named auxiliary legs in project#231
mtfishman merged 6 commits into
mainfrom
mf/project-aux-leg

Test the aux-leg derivation through `tryproject` and `unchecked_project`

24e1edc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar