johnsonstephan/awesome-web3-formal-verification

Para qué sirve

johnsonstephan/awesome-web3-formal-verification es un repositorio público GitHub. El último registro indica 44 estrellas y 6 forks. Temas: awesome list, blockchain, blockchain service, defi, formal languages, formal methods. Lee documentación, licencia e incidencias actuales antes de usarlo.

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

Repositorios GitHub

Estrellas

44

Estrellas ganadas · 7 días

—

Forks

6

Lenguaje principal

Sin comprobar

Licencia del repositorio

Sin comprobar

Último envío de código

5 mar 2024

La popularidad se basa en estrellas. El crecimiento semanal requiere una semana de registros locales. Es nuestra colección, no la lista oficial de tendencias de GitHub.

Fuentes y actualización

Los registros importados enlazan a sus fuentes. Una ficha ayuda a descubrir, no es una recomendación.