Tópico · deductive-reasoning

deductive-reasoning

Repositórios de código aberto acompanhados marcados com deductive-reasoning, ordenados por estrelas.

Repositórios

Total de estrelas

3.468

Média de estrelas

1.156

Participação

0,00%

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

Em ascensão recentemente

Repositórios criados nos últimos 90 dias e marcados com deductive-reasoning.

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

#1
creusot ↗@creusot-rsRust
O Creusot ajuda você a provar que seu código Rust está correto.
★ 1.836+2Variação de estrelas nos últimos 7 dias
#2
aeneas ↗@AeneasVerifOCaml
Uma cadeia de ferramentas de verificação para programas em Rust
★ 946+17Variação de estrelas nos últimos 7 dias
#3
CreuSAT ↗@sarskoRust
CreuSAT - Um resolvedor SAT formalmente verificado, escrito em Rust e verificado com Creusot.
★ 698+2Variação de estrelas nos últimos 7 dias