Skip to content

refactor: pure moves — test tails, the clap surface, and eight submodules - #501

Merged
schickling-assistant merged 12 commits into
mainfrom
schickling-assistant/2026-09-07-clean-3
Sep 7, 2026
Merged

refactor: pure moves — test tails, the clap surface, and eight submodules#501
schickling-assistant merged 12 commits into
mainfrom
schickling-assistant/2026-09-07-clean-3

docs: repoint every INVARIANTS proof citation whose test file moved

39b3042
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar