This repository was archived by the owner on Sep 9, 2026. It is now read-only.

Repository navigation

All pull requests

Labels (9)Milestones (0)

Upgrade to Lean 4.27.0 and update dependencies
#30kelemeno opened Mar 11, 2026
Replace s[var]!! notation with GetElem instance
#28cilinder opened Sep 11, 2025
Add CODEOWNERS file
#25nethermind-oss-compliance[bot] opened Jun 20, 2025Bot
Erc20 elliot
#24EllbellCode opened Feb 20, 2025
1
[Draft] Add ERC-20 Example
#22Coda-Coda opened Nov 21, 2024Collaborator
clr_match tactic
#19jkopanski opened Oct 29, 2024Contributor
2
Fix default value for hash_collision in EVMState
#17Coda-Coda opened Oct 29, 2024Collaborator
Fix some arithmetic primops
#13andreiburdusa opened Oct 21, 2024Contributor
Preserved EVM state relation
#10jkopanski opened Oct 3, 2024Contributor
5
Add UInt256.top and related lemmas
#9Coda-Coda opened Oct 1, 2024Collaborator
Add lemmas about memory
#8Coda-Coda opened Oct 1, 2024Collaborator
Adding lemmas about EVM state and addresses
#7Coda-Coda opened Oct 1, 2024Collaborator
3
Fix extra } generated when ret ++ fargs is empty and remove extra }s from generated files
#4Coda-Coda opened Sep 23, 2024Collaborator
1