coq
Repositórios de código aberto acompanhados marcados com coq, ordenados por estrelas.
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de coq no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com coq.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
O Rocq Prover é um provador de teoremas interativo, ou assistente de prova. Ele fornece uma linguagem formal para escrever definições matemáticas, algoritmos executáveis e teoremas, juntamente com um ambiente para o desenvolvimento semi-interativo de provas verificadas por máquina.
★ 5.562+6Variação de estrelas nos últimos 7 dias - #2★ 2.220+5Variação de estrelas nos últimos 7 dias
- #3
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 - #4★ 974+1Variação de estrelas nos últimos 7 dias
- #5★ 946+8Variação de estrelas nos últimos 7 dias
- #6
Uma linguagem de prova com tipos dependentes destinada a tornar possível código bare metal comprovadamente correto para engenheiros de software.
★ 835+0Variação de estrelas nos últimos 7 dias - #7
Uma formalização da teoria das categorias sem axiomas em Coq para estudo pessoal e trabalho prático
★ 807+1Variação de estrelas nos últimos 7 dias - #8★ 696+1Variação de estrelas nos últimos 7 dias
- #9★ 686+0Variação de estrelas nos últimos 7 dias
- #10★ 625+0Variação de estrelas nos últimos 7 dias
- #11
Uma lista cuidadosamente selecionada de empresas que usam métodos formais de verificação na indústria.
★ 610+0Variação de estrelas nos últimos 7 dias - #12★ 558+2Variação de estrelas nos últimos 7 dias
- #13
Truques que você gostaria que o manual do Coq tivesse ensinado [mantenedor=@tchajed]
★ 552+0Variação de estrelas nos últimos 7 dias - #14★ 550+2Variação de estrelas nos últimos 7 dias
- #15★ 547+0Variação de estrelas nos últimos 7 dias
- #16★ 508+1Variação de estrelas nos últimos 7 dias
