johnsonstephan/awesome-web3-formal-verification

Wat het doet

johnsonstephan/awesome-web3-formal-verification is een openbare GitHub-repository. De laatst opgeslagen momentopname vermeldt 44 sterren en 6 forks. Onderwerpen: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Lees de documentatie, licentie en actuele issues voordat je de software gebruikt.

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

GitHub-repositories

Sterren

44

Sterren erbij · 7 dagen

+0

Forks

6

Hoofdtaal

Niet gecontroleerd

Repositorylicentie

Niet gecontroleerd

Laatste codepush

5 mrt. 2024

Populariteit volgt GitHub-sterren. Groei over 7 dagen vereist een volle week lokale metingen. Dit is geen officiële GitHub-trendlijst.

Bronnen en actualiteit

Importvermeldingen linken naar hun bron. Een vermelding helpt ontdekken, maar is geen aanbeveling.