johnsonstephan/awesome-web3-formal-verification

A cosa serve

johnsonstephan/awesome-web3-formal-verification è un repository GitHub pubblico. L'ultimo rilevamento indica 44 stelle e 6 fork. Temi: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Leggi documentazione, licenza e issue attuali prima dell'uso.

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

Repository GitHub

Stelle

44

Stelle ottenute · 7 giorni

—

Fork

6

Linguaggio principale

Non verificato

Licenza del repository

Non verificato

Ultimo invio di codice

5 mar 2024

La popolarità usa le stelle. La crescita settimanale richiede una settimana di rilevazioni locali. È la nostra raccolta, non la classifica ufficiale GitHub.

Fonti e aggiornamenti

Le schede importate citano le fonti. Una scheda aiuta a scoprire, non è una raccomandazione.