AU-COBRA/ConCert

O que faz

AU-COBRA/ConCert é um repositório público GitHub, principalmente em Rocq Prover. O último registro informa 129 estrelas e 22 forks. Temas: blockchain, coq, contratos inteligentes, verification. Leia documentação, licença e issues atuais antes de usar.

A framework for smart contract verification in Coq

Repositórios GitHub

Estrelas

129

Estrelas ganhas · 7 dias

+0

Forks

22

Linguagem principal

Rocq Prover

Licença do repositório

MIT

Último envio de código

25 de ago. de 2026

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.