Software verzenden
  1. Home
  2. Linux
  3. Andere
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Licentie: Gratis ‎Bestandsgrootte: N/A
‎Gebruikersbeoordeling: 4.0/5 - ‎1 ‎Stemmen
Downloaden

Het Archief van Formele Bewijzen is een verzameling van bewijsbibliotheken, voorbeelden en grotere scientifc-ontwikkelingen, mechanisch gecontroleerd in de stellingskundeprover Isabelle. Het is georganiseerd in de weg van een wetenschappelijk tijdschrift. Inzendingen zijn refereed.

versiegeschiedenis

  • Versie afp-Isabelle2011 geplaatst op 2011-04-03
    Verschillende oplossingen en updates
  • Versie afp-Isabelle2011 geplaatst op 2011-04-03

Programmadetails

Gerelateerde programma's

  • ADAM Abstract Data Access Models Gratis

    2 Java-frameworks met tijdelijke en permanente objectmodellen op basis van niet-standaardbenadering (minder evidente maar snellere ontwikkeling): een object is een verzameling benoemde velden. 3 niet-objectbibliotheken die de

  • Jedora Remix VM Gratis

    Een Virtual Machine Linux toestel (voor Virtualbox). Deze Fedora Remix legt de nadruk op Java gebaseerde toepassingen. Bevat OpenOffice.org, OpenJDK, browserplug-ins (IcedTea) en populaire Java-gebaseerde toepassingen zoals A

  • DataAide Gratis

    DataAide is een VB.Net desktoptoepassing die SQL Server 2000-clienttools gebruikt om VB.Net-, C-of VB6-klassen en opgeslagen procedures voor tabellen in een SQL Server 2k-database te genereren. Het genereert ook ADO.Net- of A

  • BlackFox OM (30' Series) Gratis

    BlackFox OM (BlackFox, The Object Model) is een bibliotheek voor het vasthouden en manipuleren van objectmodellen van systemen, toepassingen en bibliotheken. U het gebruiken als onderdeel van UML tools, onderdeel van code gen

  • InfraHID Gratis

    Het doel van het project is om een normale webcam te gebruiken als een Human Interface Device (HID). Voorbeelden van hoe deze software te gebruiken zou worden gebruikt zijn: muis, controle videogames, elektronische white boar

  • Prop compiler compiler Gratis

    Prop is een patroon matching taal op basis van C ++. Het implementeert algebraïsche gegevenstypen, patroonmatching en herschrijven, en genereert C++ code als uitvoer.

  • ga-flamoot Gratis

    Een genetisch algoritme in Python voor evoluerende programma's die een bepaalde tekenreeks schrijven naar een toegewezen gegevensruimte, met behulp van een verzonnen machinetaal met slechts 7 instructies en omkering van de st

  • Fennel Gratis

    Venkel is een bibliotheek met componenten voor gegevensopslag en -verwerking die in C++ is geschreven. Het is ontwikkeld als een subproject van The Eigenbase Project, en dient ook als substraat voor het Farrago project.

  • NExcel Gratis

    Met de NExcel-bibliotheek kan een .NET-toepassing Ms Excel-bestanden lezen, compatibel met Excel 97 en bovenwerk. Office Excel of bibliotheken van derden hoeven niet te worden geïnstalleerd. Gebaseerd op JExcelAPI door

  • OpenTag Gratis

    OpenTag is een volledige communicatiestack voor DASH7 Mode 2 (ISO 18000-7.4). Het is bedoeld om te draaien op embedded HW, met name RF SoCs, maar het kan worden geport om bijna alles. OpenTag's belangrijkste prestatie is de g