Skip to content

refactor: proof golf from Aristotle — eliminate intermediate bindings#12

Merged
Navi Bot (project-navi-bot) merged 3 commits into
mainfrom
refactor/aristotle-proof-golf
Mar 29, 2026
Merged

refactor: proof golf from Aristotle — eliminate intermediate bindings#12
Navi Bot (project-navi-bot) merged 3 commits into
mainfrom
refactor/aristotle-proof-golf

Merge branch 'main' into refactor/aristotle-proof-golf

a91672f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar