Skip to content

Audit PR256’s complex program against its pinned Lean proof (no new κ) - #274

Closed
shea256 wants to merge 1 commit into
CrocSwap:mainfrom
shea256:audit/pr256-fourier-proof
Closed

Audit PR256’s complex program against its pinned Lean proof (no new κ)#274
shea256 wants to merge 1 commit into
CrocSwap:mainfrom
shea256:audit/pr256-fourier-proof

Add PR256 complex-program and Lean proof reproduction audit

947726d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs