Skip to content

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

a91672f
Select commit
Loading
Failed to load commit list.
Merged

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

Merge branch 'main' into refactor/aristotle-proof-golf
a91672f
Select commit
Loading
Failed to load commit list.