AU-COBRA/ConCert

Para qué sirve

AU-COBRA/ConCert es un repositorio público GitHub, principalmente en Rocq Prover. El último registro indica 129 estrellas y 22 forks. Temas: blockchain, coq, contratos inteligentes, verification. Lee documentación, licencia e incidencias actuales antes de usarlo.

A framework for smart contract verification in Coq

Repositorios GitHub

Estrellas

129

Estrellas ganadas · 7 días

+0

Forks

22

Lenguaje principal

Rocq Prover

Licencia del repositorio

MIT

Último envío de código

25 ago 2026

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.