Skip to content

Import verified Lean4EVM primitives - #413

Closed
Vilin97 wants to merge 45 commits into
mainfrom
codex/daily-import-lean4evm-2026-09-11
Closed

Import verified Lean4EVM primitives#413
Vilin97 wants to merge 45 commits into
mainfrom
codex/daily-import-lean4evm-2026-09-11

Merge remote-tracking branch 'origin/main' into pr-413

68395a5
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar