Archive of Formal Proofs 2011
Sarai in grado di scaricare in 5 secondi.
Puoi anche fare clic sul seguente link per il download esterno per iniziare il download:
http://sourceforge.net/projects/afp/files/afp-Isabelle2011/afp-2011-04-01.tar.gz/download
Circa Archive of Formal Proofs
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.
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