mit-plv/fiat-crypto
@mit-plvGeração de código de primitivas criptográficas via Fiat
Estrelas
839
Bifurcações
178
Linguagem
Rocq Prover
Licença
NOASSERTION
Último push
há 18 horas
Intel relacionado (0)
Ainda não há intel relacionado
Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.