Pular para o conteúdo principal
buildradar
Entrar

achlipala/frap

@achlipala

Raciocínio formal sobre programas

Estrelas
728
Bifurcações
96
Linguagem
Rocq Prover
Licença
NOASSERTION
Último push
há 6 meses
Rocq Prover

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.