johnsonstephan/awesome-web3-formal-verification

À quoi ça sert

johnsonstephan/awesome-web3-formal-verification est un dépôt GitHub public. Le dernier relevé indique 44 étoiles et 6 forks. Sujets : awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Lis la documentation, la licence et les issues actuelles avant utilisation.

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

Dépôts GitHub

Étoiles

44

Étoiles gagnées · 7 jours

—

Forks

6

Langage principal

Non vérifié

Licence du dépôt

Non vérifié

Dernier envoi de code

5 mars 2024

La popularité vient des étoiles. La croissance hebdomadaire nécessite une semaine de relevés locaux. C'est notre collection, pas le classement officiel de GitHub.

Sources et actualité

Les fiches importées citent leurs sources. Une fiche aide à découvrir, sans recommander le service.