![](/statics/img/blank.png)
Archive of Formal Proofs 2011
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur Archive of Formal Proofs
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.