jepsen-io/elle
@jepsen-ioVerificador de segurança transacional de caixa-preta baseado em detecção de ciclos
Estrelas
702
Bifurcações
40
Linguagem
Isabelle
Licença
EPL-2.0
Último push
há 3 semanas
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.