![](/statics/img/blank.png)
Archive of Formal Proofs 2011
Lesen: Percuma Saiz fail: N/A
Penarafan Pengguna: 4.0/5 - 1 Undi
Sila tunggu... Pautan muat turun anda sedang disahkan untuk kandungan berniat jahat.
Anda boleh memuat turun dalam masa 5 saat.
Anda boleh memuat turun dalam masa 5 saat.
Tentang Archive of Formal Proofs
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 dirujuk.