EVMYulLean

Public

Executable formal model of the EVM and Yul in Lean 4.

Apache License 2.0

Updated Jan 8, 2026

Created Jul 18, 2024

64 stars

7 forks

5 watchers

1 open issues

Languages

Codebase composition by bytes

Top Contributors

292 commits

104 commits

100 commits

3 commits

1 commits

Recent Stargazers

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

over 1 year ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)2,661

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 1Closed Issues 81

Open Issues82

Activity Peak

Most recent day with highest activityJan 8, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

EVMYulLean