argotorg/EquiVM
Refinement proofs in Lean for EVM bytecode
Is argotorg/EquiVM beginner-friendly?
We have not seen enough recent pull requests from outside contributors to argotorg/EquiVM to say how often they are merged. 1 beginner-friendly issue is open now.
- Stars
- 29
- Forks
- 8
- Open beginner issues
- 1
- Indexed issues
- 1
- Avg merge
- 5h 37m
- Merged PRs (30d)
- 6
- Dominant language
- Lean
- License
- MIT
- Last GitHub push
- Oct 14, 2026
- Latest indexed
- Nov 11, 2026
- Contributing guide
- No contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- No beginner labels indexed
How to contribute to argotorg/EquiVM
- There is no contributing guide, so start from the README and a few recently merged pull requests to see how changes are proposed.
- Your contributions will be published under the project's MIT license.
- Pick the open beginner-friendly issue below and comment that you want to work on it before you start.
Loading issues
Issues somebody may already be working on are listed last. List everything by date