proof-assistant
Repositórios de código aberto acompanhados marcados com proof-assistant, ordenados por estrelas.
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de proof-assistant no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com proof-assistant.
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+4Variação de estrelas nos últimos 7 dias - #2★ 3.103+4Variação de estrelas nos últimos 7 dias
- #3
Agda é uma linguagem de programação com tipos dependentes / provador de teoremas interativo.
★ 2.922+3Variação de estrelas nos últimos 7 dias - #4
Uma biblioteca de agentes de IA de nível empresarial projetada para democratizar a inteligência artificial e fornecer alternativas gratuitas e de código aberto para startups supervalorizadas da Y Combinator.
★ 2.806+7Variação de estrelas nos últimos 7 dias - #5
Uma introdução à teoria de linguagens de programação em Agda.
★ 1.514+0Variação de estrelas nos últimos 7 dias - #6★ 558+2Variação de estrelas nos últimos 7 dias
- #7★ 547+0Variação de estrelas nos últimos 7 dias
- #8★ 508+1Variação de estrelas nos últimos 7 dias
