Skip to content

Bump Poly to v4.34.1 + some proof insertions - #41

Closed
sosudo wants to merge 11 commits into
sinhp:masterfrom
sosudo:pr
Closed

Bump Poly to v4.34.1 + some proof insertions#41
sosudo wants to merge 11 commits into
sinhp:masterfrom
sosudo:pr

chore: restore upstream formatting around the Lean changes

2feaff4
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs