Skip to content

chore: redefine order on Int, with evidence that 0 < 1 is actually provable - #3

Merged
VTrelat merged 2 commits into
mainfrom
v4.27.0
May 24, 2026
Merged

chore: redefine order on Int, with evidence that 0 < 1 is actually provable#3
VTrelat merged 2 commits into
mainfrom
v4.27.0

chore: redefine order on Int, with evidence that 0 < 1 is actually pr…

aad8038
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar