Invia software
  1. Casa
  2. Linux
  3. Altro
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti
Scaricare

L'Archivio delle dimostrazioni formali è una raccolta di librerie di dimostrazioni, esempi e più grandi sviluppi scientifc, controllati meccanicamente nel dimostratore di teoremi Isabelle. È organizzato sulla base di una rivista scientifica. Le iscrizioni sono arbitre.

cronologia delle versioni

  • Versione afp-Isabelle2011 pubblicato il 2011-04-03
    Diverse correzioni e aggiornamenti
  • Versione afp-Isabelle2011 pubblicato il 2011-04-03

Dettagli del programma

Programmi correlati

  • ADAM Abstract Data Access Models Gratuito

    2 framework Java con modelli a oggetti transitori e persistenti basati su un approccio non standard (sviluppo meno evidente ma più veloce): un oggetto è un insieme di campi denominati. 3 librerie non oggetto che semplificano

  • Jedora Remix VM Gratuito

    Un accessorio Linux per macchine virtuali (per Virtualbox). Questo Fedora Remix pone l'accento sulle applicazioni basate su Java. Include OpenOffice.org, OpenJDK, plug-in del browser (IcedTea) e applicazioni basate su Java po

  • DataAide Gratuito

    DataAide è un'applicazione desktop VB.Net che utilizza gli strumenti client di SQL Server 2000 per generare classi e stored procedure VB.Net, C# o VB6 per tabelle in un database SQL Server 2k. Genera inoltre codice ADO.Net o

  • BlackFox OM (30' Series) Gratuito

    BlackFox OM (BlackFox, The Object Model) è una libreria per contenere e manipolare modelli a oggetti di qualsiasi sistema, applicazione e libreria. È possibile utilizzarlo come parte di strumenti UML, parte di generatori di c

  • InfraHID Gratuito

    Lo scopo del progetto è quello di consentire l'utilizzo di una normale webcam come dispositivo HID (Human Interface Device). Esempi di come utilizzare questo software sarebbero: mouse, videogiochi di controllo, lavagna bianca

  • Prop compiler compiler Gratuito

    Prop è un linguaggio di pattern matching basato su C++. Implementa tipi di dati algebrici, corrispondenza e riscrittura dei pattern e genera codice C++ come output.

  • ga-flamoot Gratuito

    Un algoritmo genetico in Python per programmi in evoluzione che scrivono una data stringa in uno spazio dati allocato, usando un linguaggio macchina composto con solo 7 istruzioni e inversione di flusso.

  • Fennel Gratuito

    Fennel è una libreria di componenti di archiviazione ed elaborazione dati scritti in C++. È sviluppato come sottoprogetto di The Eigenbase Project, e funge anche da substrato per il progetto Farrago.

  • NExcel Gratuito

    La libreria NExcel consente a un'applicazione .NET di leggere i file di Ms Excel, compatibile con Excel 97 e la tomaia. Non è necessario installare Ms Office Excel o librerie di terze parti. Basato su JExcelAPI di Andre

  • OpenTag Gratuito

    OpenTag è uno stack di comunicazioni completo per DASH7 Mode 2 (ISO 18000-7.4). È destinato a funzionare su HW incorporato, in particolare SOC RF, ma può essere portato su quasi tutto. L'impresa principale di OpenTag è il suo