johnsonstephan/awesome-web3-formal-verification

Для чого це

johnsonstephan/awesome-web3-formal-verification — публічний репозиторій GitHub. Останній збережений знімок містить такі показники: зірки — 44, форки — 6. Теми: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Перед використанням програми прочитай документацію, ліцензію та поточні повідомлення про проблеми.

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

Репозиторії GitHub

Зірки

44

Нові зірки · 7 днів

—

Форки

6

Основна мова

Не перевірено

Ліцензія репозиторію

Не перевірено

Останнє надсилання коду

5 бер. 2024 р.

Популярність за зірками GitHub. Зростання за 7 днів потребує тижня локальних знімків. Це не офіційний рейтинг GitHub.

Джерела й актуальність

Імпортовані записи посилаються на джерела. Запис допомагає знайти, але не є рекомендацією.