johnsonstephan/awesome-web3-formal-verification

Что делает

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

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

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

Звёзды

44

Прирост звёзд · 7 дней

—

Форки

6

Основной язык

Не проверено

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

Не проверено

Последняя отправка кода

5 мар. 2024 г.

Популярность основана на звёздах. Рост за неделю появится после недели локальных снимков. Это наша подборка, а не официальный рейтинг GitHub.

Источники и актуальность

Импортированные записи ссылаются на источники. Это помощь в поиске, а не рекомендация.