Program menurut afp.sf.net

Archive of Formal Proofs adalah kumpulan perpustakaan bukti, contoh, dan perkembangan scientifc yang lebih besar, diperiksa secara mekanis dalam pembuktian memuja Isabelle. Ini diatur di jalan jurnal ilmiah. Pengiriman di-ref