# leonardoalt/ethereum\_formal\_verification\_overview

<https://repo.masters-masters.com/en/repos/leonardoalt/ethereum_formal_verification_overview>

[Home](https://repo.masters-masters.com/en) › [leonardoalt](https://repo.masters-masters.com/en/owners/leonardoalt) › [ethereum\_formal\_verification\_overview](https://repo.masters-masters.com/en/repos/leonardoalt/ethereum_formal_verification_overview)

leonardoalt/ethereum\_formal\_verification\_overview has 378 stars on GitHub. Its RepoMasters card: Alpha tier. Overview of the formal verification projects in…

| Field | Value |
| --- | --- |
| Owner | [leonardoalt](https://repo.masters-masters.com/en/owners/leonardoalt) |
| Stars | 378 |
| Forks | 41 |
| Language | No language |
| License | GPL-3.0 |
| Created | 2019 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [leonardoalt/ethereum\_formal\_verification\_overview](https://github.com/leonardoalt/ethereum_formal_verification_overview) |

## Repository

Overview of the formal verification projects in the Ethereum ecosystem.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by leonardoalt

- [leonardoalt/yools · ★ 140 · SMT · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/yools)
- [leonardoalt/fusion · ★ 118 · Rust · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/fusion)
- [leonardoalt/dl\_symb\_exec\_sol · ★ 112 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/leonardoalt/dl_symb_exec_sol)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.