Tópico · rocq

rocq

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

Repositórios

4

Total de estrelas

3.426

Média de estrelas

857

Participação

0,00%

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

Em ascensão recentemente

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

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

#1
rocq-of-rust ↗@formal-landRocq Prover
Ferramenta de verificação formal para Rust: verifique 100% dos casos de execução dos seus programas para criar aplicações mais seguras.
★ 1.161+0Variação de estrelas nos últimos 7 dias
#2
UniMath ↗@UniMathRocq Prover
Esta biblioteca rocq visa formalizar um corpo substancial de matemática usando o ponto de vista univalente.
★ 1.019+2Variação de estrelas nos últimos 7 dias
#3
math-comp ↗@math-compRocq Prover
Componentes Matemáticos
★ 696+1Variação de estrelas nos últimos 7 dias
#4
metarocq ↗@MetaRocqRocq Prover
Metaprogramação, metateoria verificada e implementação de Rocq em Rocq
★ 550+1Variação de estrelas nos últimos 7 dias

← Voltar para os tópicos