johnsonstephan/awesome-web3-formal-verification

Kegunaan

johnsonstephan/awesome-web3-formal-verification adalah repositori GitHub publik. Snapshot terakhir yang disimpan mencatat 44 bintang dan 6 fork. Topik: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Baca dokumentasi, lisensi, dan issue terkini sebelum memakai perangkat lunaknya.

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

Repositori GitHub

Bintang

44

Bintang bertambah · 7 hari

—

Fork

6

Bahasa utama

Belum diperiksa

Lisensi repositori

Belum diperiksa

Push kode terakhir

5 Mar 2024

Popularitas dari bintang GitHub. Pertumbuhan 7 hari perlu sepekan cuplikan lokal. Ini koleksi kami, bukan tren resmi GitHub.

Sumber & kebaruan data

Entri impor menautkan sumber. Entri membantu penemuan, bukan dukungan.