Programmes par afp.sf.net

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’