Tópico · proofs

proofs

Repositórios de código aberto acompanhados marcados com proofs, ordenados por estrelas.

Repositórios

3

Total de estrelas

3.413

Média de estrelas

1.138

Participação

0,00%

Tópicos que aparecem com frequência ao lado de proofs no mesmo repositório.

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com proofs.

Nenhum repositório novo marcado com este tópico nos últimos 90 dias.

#1
Project-Euler-solutions ↗@nayukiJava
Código executável para resolver problemas do Project Euler em Java, Python, Mathematica e Haskell.
★ 1.959-1Variação de estrelas nos últimos 7 dias
#2
aeneas ↗@AeneasVerifOCaml
Uma cadeia de ferramentas de verificação para programas em Rust
★ 948+19Variação de estrelas nos últimos 7 dias
#3
karamel ↗@FStarLangOCaml
KaRaMeL é uma ferramenta para extrair programas F* de baixo nível para código C legível
★ 518+0Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos