La formalidad es un lenguaje de prueba eficiente.
Rápido: sin recolección de basura, reducción beta óptima y un compilador de GPU masivamente paralelo lo hacen rápido.
Seguro: un sistema de tipos capaz de demostrar teoremas matemáticos sobre sus propios programas lo hace seguro.
Portátil: el lenguaje completo se implementa en un tiempo de ejecución 400-LOC, lo que lo hace fácilmente disponible en todas partes.
Resumen de financiación
También vieron
Mempool.Space
Visualizador de blockchain Bitcoin en tiempo real y sitio web de estadísticas centrado en SegWit.
OnChainFX
Valor de la red Cryptoasset, capitalización de mercado, clasificaciones y métricas.
Liquidez
Lenguaje de contrato inteligente de alto nivel para Tezos.
Dune Analytics
Hacemos que los datos de Ethereum sean fáciles.
