![](/statics/img/blank.png)
Archive of Formal Proofs 2011
Lisensi: Gratis Ukuran file: N/A
Peringkat Pengguna: 4.0/5 - 1 Suara
Harap tunggu... Tautan unduhan Anda sedang diverifikasi untuk konten berbahaya.
Anda dapat mengunduh dalam 5 detik.
Anda dapat mengunduh dalam 5 detik.
Tentang Archive of Formal Proofs
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-refereed.