johnsonstephan/awesome-web3-formal-verification

O que faz

johnsonstephan/awesome-web3-formal-verification é um repositório público GitHub. O último registro informa 44 estrelas e 6 forks. Temas: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Leia documentação, licença e issues atuais antes de usar.

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

Repositórios GitHub

Estrelas

44

Estrelas ganhas · 7 dias

+0

Forks

6

Linguagem principal

Não verificado

Licença do repositório

Não verificado

Último envio de código

5 de mar. de 2024

A popularidade usa estrelas. O crescimento semanal precisa de uma semana de registros locais. É nossa coleção, não a lista oficial de tendências do GitHub.

Fontes e atualização

Registros importados têm links para as fontes. Um registro ajuda a descobrir, não é uma recomendação.