Tarafından Programlar afp.sf.net

Resmi Provalar Arşivi kanıt kütüphaneleri, örnekler ve daha büyük scientifc gelişmeler, mekanik teorem prover Isabelle kontrol bir koleksiyondur. Bilimsel bir dergi nin önünde düzenlenir. Başvurular hakemlidir.