Soumettre un logiciel
  1. Accueil
  2. Linux
  3. Autres
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Licence: Gratuit ‎Taille du fichier: N/A
‎Note des utilisateurs: 4.0/5 - ‎1 ‎Votes
Télécharger

L’Archive of Formal Proofs est une collection de bibliothèques de preuves, d’exemples et de développements scientifc plus importants, vérifiés mécaniquement dans le prover du theorème Isabelle. Il est organisé à la manière d’une revue scientifique. Les soumissions sont arbitrées.

historique de la version

  • Version afp-Isabelle2011 posté sur 2011-04-03
    Plusieurs correctifs et mises à jour
  • Version afp-Isabelle2011 posté sur 2011-04-03

Détails du programme

Programmes connexes

  • ADAM Abstract Data Access Models Gratuit

    2 frameworks Java avec des modèles d’objets transitoires et persistants basés sur une approche non standard (développement moins évident mais plus rapide) : un objet est un ensemble de champs nommés. 3 bibliothèques non-objet

  • Jedora Remix VM Gratuit

    Un appareil Virtual Machine Linux (pour Virtualbox). Ce Remix Fedora met l’accent sur les applications basées sur Java. Inclut OpenOffice.org, OpenJDK, les plug-ins de navigateur (IcedTea), et les applications java populaires

  • DataAide Gratuit

    DataAide est une application de bureau VB.Net qui utilise les outils clients SQL Server 2000 pour générer des classes VB.Net, C#ou VB6 et des procédures stockées pour les tables dans une base de données SQL Server 2k. Il génè

  • BlackFox OM (30' Series) Gratuit

    BlackFox OM (BlackFox, The Object Model) est une bibliothèque pour la tenue et la manipulation de modèles d’objets de tous les systèmes, applications et bibliothèques. Vous pouvez l’utiliser comme une partie des outils UML, u

  • InfraHID Gratuit

    Le but du projet est de permettre à une webcam normale d’être utilisée comme dispositif d’interface humaine (HID). Des exemples de la façon d’utiliser ce logiciel seraient utilisés sont: souris, jeux vidéo de contrôle, tablea

  • Prop compiler compiler Gratuit

    Prop est un langage correspondant au motif basé sur C++. Il implémente des types de données algébriques, l’appariement et la réécriture de motifs, et génère du code C++ en tant que sortie.

  • ga-flamoot Gratuit

    Un algorithme génétique dans Python pour l’évolution des programmes qui écrivent une chaîne donnée à un espace de données alloué, en utilisant un langage machine composé avec seulement 7 instructions et l’inversion de flux.

  • Fennel Gratuit

    Fenouil est une bibliothèque de composants de stockage et de traitement des données écrits en C++. Il est développé comme un sous-projet du projet Eigenbase, et sert également de substrat pour le projet Farrago.

  • NExcel Gratuit

    La bibliothèque NExcel permet à une application .NET de lire les fichiers De Mme Excel, compatible avec Excel 97 et supérieur. Pas besoin d’installer Mme Office Excel ou des bibliothèques tierces. D’après JExcelAPI d’An

  • OpenTag Gratuit

    OpenTag est une pile de communications complète pour dash7 mode 2 (ISO 18000-7.4). Il est destiné à fonctionner sur HW intégré, en particulier les RF SoCs, mais il peut être porté à presque n’importe quoi. L’exploit principal