johnsonstephan/awesome-web3-formal-verification

Ne işe yarar

johnsonstephan/awesome-web3-formal-verification, herkese açık bir GitHub deposudur. Kaydedilen son anlık görüntüde 44 yıldız ve 6 fork bulunuyor. Konular: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Yazılımı kullanmadan önce belgeleri, lisansı ve güncel issue kayıtlarını oku.

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

GitHub depoları

Yıldız

44

Kazanılan yıldız · 7 gün

—

Çatal

6

Ana dil

Kontrol edilmedi

Depo lisansı

Kontrol edilmedi

Son kod gönderimi

5 Mar 2024

Popülerlik GitHub yıldızlarına göre. 7 günlük büyüme tam haftalık yerel kayıt sonrası görünür. Bu resmî GitHub trend listesi değildir.

Kaynaklar ve güncellik

İçe aktarılan kayıtlar kaynaklarına bağlıdır. Kayıt bir tavsiye değildir.