Kirim Perangkat Lunak
  1. Rumah
  2. Linux
  3. Lain
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

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.

Riwayat versi

  • Versi afp-Isabelle2011 diposting di 2011-04-03
    Beberapa perbaikan dan pembaruan
  • Versi afp-Isabelle2011 diposting di 2011-04-03

Detil Program

Program Terkait

  • ADAM Abstract Data Access Models Gratis

    2 Kerangka kerja Java dengan model objek sementara dan persisten berdasarkan pendekatan nonstandar (pengembangan yang kurang jelas tetapi lebih cepat): objek adalah satu set bidang bernama. 3 pustaka non-objek menyederhanakan

  • Jedora Remix VM Gratis

    Alat Linux Mesin Virtual (untuk Virtualbox). Remix Fedora ini menekankan pada aplikasi berbasis Java. Termasuk OpenOffice.org, OpenJDK, plug-in browser (IcedTea), dan aplikasi berbasis Java populer seperti Azureus / Vuze, jEd

  • DataAide Gratis

    DataAide adalah aplikasi desktop VB.Net yang menggunakan alat klien SQL Server 2000 untuk menghasilkan kelas VB.Net, C#, atau VB6 dan prosedur tersimpan untuk tabel dalam database SQL Server 2k. Ini juga menghasilkan ADO.Net

  • BlackFox OM (30' Series) Gratis

    BlackFox OM (BlackFox, The Object Model) adalah perpustakaan untuk memegang dan memanipulasi model objek dari sistem, aplikasi, dan perpustakaan apa pun. Anda dapat menggunakannya sebagai bagian dari alat UML, bagian dari gen

  • InfraHID Gratis

    Tujuan dari proyek ini adalah untuk memungkinkan webcam normal digunakan sebagai Perangkat Antarmuka Manusia (HID). Contoh cara menggunakan perangkat lunak ini akan digunakan adalah: mouse, video game kontrol, papan putih ele

  • Prop compiler compiler Gratis

    Prop adalah bahasa yang cocok dengan pola berdasarkan C++. Ini mengimplementasikan tipe data aljabar, pencocokan pola dan penulisan ulang, dan menghasilkan kode C++ sebagai output.

  • ga-flamoot Gratis

    Algoritma genetik di Python untuk program yang berkembang yang menulis string tertentu ke ruang data yang dialokasikan, menggunakan bahasa mesin yang dibuat-buat dengan hanya 7 instruksi dan pembalikan aliran.

  • Fennel Gratis

    Fennel adalah perpustakaan penyimpanan data dan komponen pemrosesan yang ditulis dalam C++. Ini dikembangkan sebagai sub-proyek Proyek Eigenbase, dan juga berfungsi sebagai substrat untuk proyek Farrago.

  • NExcel Gratis

    Pustaka NExcel memungkinkan aplikasi .NET untuk membaca file Ms Excel, kompatibel dengan Excel 97 ke atas. Tidak perlu menginstal Ms Office Excel atau pustaka pihak ketiga mana pun. Berdasarkan JExcelAPI oleh Andrew Kha

  • OpenTag Gratis

    OpenTag adalah tumpukan komunikasi berfiju lengkap untuk DASH7 Mode 2 (ISO 18000-7.4). Ini dimaksudkan untuk berjalan pada HW tertanam, terutama RF SoC, tetapi dapat di-port ke hampir semua hal. Prestasi utama OpenTag adalah