Lists (20)
blockchain protocol
1 repository
blockchain-rust
1 repository
compiler
2 repositories
contract audit reports
3 repositories
ethereum-rust
33 repositories
formal verification
41 repositories
functional programming
2 repositories
fuzz
8 repositories
Latex/Beamer
3 repositories
papers
2 repositories
runtime verification
12 repositories
rust-development
11 repositories
samrt contract verification
15 repositories
smart contract analysis
18 repositories
smart contract CTF
1 repository
solana
1 repository
solidity contracts
1 repository
temporal properties
21 repositories
ZK
10 repositories
ZK EVM
2 repositories
Starred repositories
4
stars
written in Lean
Clear filter
Interactive formal verification tool for Yul programs
Executable formal model of the EVM and Yul in Lean 4.
Core logic of Slay the Spire implemented in Lean4 for formal verification proofs