Skip to content

feat(Studies/Geurts2010): formalize the book's recipe and free choice - #6221

Merged
hawkrobe merged 5 commits into
mainfrom
audit/geurts-1103h
Nov 4, 2026
Merged

feat(Studies/Geurts2010): formalize the book's recipe and free choice#6221
hawkrobe merged 5 commits into
mainfrom
audit/geurts-1103h

refactor(Studies/Geurts2010): keep only theorems central to the argument

e8412b3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar