johnsonstephan/awesome-web3-formal-verification

What it does

johnsonstephan/awesome-web3-formal-verification is a public GitHub repository. GitHub reports 44 stars and 6 forks at the latest snapshot. Its topics include awesome-list, blockchain, blockchain-service, defi, formal-languages, formal-methods. Read the repository documentation, license and current issues before using the software.

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

GitHub repositories

Stars

44

Stars gained · 7 days

+0

Forks

6

Primary language

Not checked

Repository license

Not checked

Last code push

5 Mar 2024

Popularity comes from GitHub stars. Seven-day growth appears after a full week of local snapshots; this is our collection, not GitHub’s official trending chart.

Sources & freshness

Imported records link to their sources. An entry is a discovery aid, not an endorsement.