Atur cara mengikut afp.sf.net

Arkib Bukti Formal adalah koleksi perpustakaan bukti, contoh, dan perkembangan saintifik yang lebih besar, secara mekanikal diperiksa dalam peribahasa teorem Isabelle. Ia dianjurkan dalam cara jurnal saintifik. Penyerahan dir