johnsonstephan/awesome-web3-formal-verification

Do czego służy

johnsonstephan/awesome-web3-formal-verification to publiczne repozytorium GitHub. Ostatni zapisany odczyt podaje: gwiazdki — 44, forki — 6. Tematy: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Przed użyciem programu przeczytaj dokumentację, licencję i aktualne zgłoszenia problemów.

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

Repozytoria GitHub

Gwiazdki

44

Przyrost gwiazdek · 7 dni

—

Forki

6

Główny język

Niesprawdzone

Licencja repozytorium

Niesprawdzone

Ostatni push kodu

5 mar 2024

Popularność według gwiazdek GitHub. Wzrost 7-dniowy wymaga tygodnia lokalnych zapisów. To nie oficjalny ranking trendów GitHub.

Źródła i aktualność

Importowane wpisy wskazują źródła. Wpis pomaga odkrywać, nie jest rekomendacją.