Enviar Software
  1. Casa
  2. Linux
  3. Outros
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Licença: Grátis ‎Tamanho do arquivo: N/A
‎Classificação dos utilizadores: 4.0/5 - ‎1 ‎votos
Baixar

O Arquivo das Provas Formais é uma coleção de bibliotecas de provas, exemplos e desenvolvimentos scientifc maiores, verificados mecanicamente no teorema que prove Isabelle. Organiza-se no caminho de uma revista científica. As candidaturas são arbitradas.

história da versão

  • Versão afp-Isabelle2011 postado em 2011-04-03
    Várias correções e atualizações
  • Versão afp-Isabelle2011 postado em 2011-04-03

Detalhes do programa

Programas Relacionados

  • ADAM Abstract Data Access Models Grátis

    2 Quadros de Java com modelos de objetos transitórios e persistentes baseados numa abordagem não padrão (desenvolvimento menos evidente mas mais rápido): um objeto é um conjunto de campos nomeados. 3 bibliotecas sem objetos s

  • Jedora Remix VM Grátis

    Um aparelho Linux de Máquina Virtual (para Virtualbox). Este Fedora Remix coloca ênfase nas aplicações baseadas em Java. Inclui OpenOffice.org, OpenJDK, plug-ins de navegador (IcedTea), e aplicações populares baseadas em Java

  • DataAide Grátis

    DataAide é uma aplicação de ambiente de trabalho VB.Net que utiliza ferramentas de clientes SQL Server 2000 para gerar classes de VB.Net, C#ou VB6 e procedimentos armazenados para tabelas numa base de dados SQL Server 2k. Tam

  • BlackFox OM (30' Series) Grátis

    BlackFox OM (BlackFox, The Object Model) é uma biblioteca para guardar e manipular modelos de objetos de quaisquer sistemas, aplicações e bibliotecas. Pode usá-lo como parte de ferramentas UML, parte de geradores de código, p

  • InfraHID Grátis

    O objetivo do projeto é permitir que uma webcam normal seja usada como um Dispositivo de Interface Humana (HID). Exemplos de como utilizar este software seriam usados: rato, controlo de videojogos, placa branca electrónica ou

  • Prop compiler compiler Grátis

    Prop é uma linguagem padrão que combina com base em C++. Implementa tipos de dados algébricos, correspondência de padrões e reescrita, e gera código C++ como saída.

  • ga-flamoot Grátis

    Um algoritmo genético em Python para programas em evolução que escrevem uma determinada cadeia para um espaço de dados alocado, usando uma linguagem de máquina inventada com apenas 7 instruções e inversão de fluxo.

  • Fennel Grátis

    Funcho é uma biblioteca de componentes de armazenamento e processamento de dados escritos em C++. É desenvolvido como um sub-projeto do Projeto Eigenbase, e também serve como um substrato para o projeto Farrago.

  • NExcel Grátis

    A biblioteca NExcel permite que uma aplicação .NET leia ficheiros Ms Excel, compatível com Excel 97 e superior. Não é necessário instalar a Sra. Office Excel ou quaisquer bibliotecas de terceiros. Baseado no JExcelAPI d

  • OpenTag Grátis

    OpenTag é uma pilha de comunicações completa para o modo DASH7 2 (ISO 18000-7.4). Destina-se a funcionar em HW incorporado, especialmente RF SoCs, mas pode ser ported para quase tudo. O principal feito da OpenTag é o seu gran