johnsonstephan/awesome-web3-formal-verification

Was du damit machen kannst

johnsonstephan/awesome-web3-formal-verification ist ein öffentliches GitHub-Repository. Der letzte gespeicherte Stand meldet 44 Sterne und 6 Forks. Themen: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Lies Dokumentation, Lizenz und aktuelle Issues, bevor du die Software nutzt.

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

GitHub-Repositories

Sterne

44

Neue Sterne · 7 Tage

+0

Forks

6

Hauptprogrammiersprache

Nicht geprüft

Repository-Lizenz

Nicht geprüft

Letzter Code-Push

5. März 2024

Die Beliebtheit basiert auf GitHub-Sternen. Das Wachstum über sieben Tage erscheint nach einer vollständigen Woche gespeicherter Daten. Das ist unsere Sammlung, keine offizielle GitHub-Trending-Liste.

Quellen & Aktualität

Importierte Einträge verlinken ihre Quellen. Ein Eintrag hilft dir beim Entdecken und ist keine Empfehlung.