Hantar Perisian
  1. Rumah
  2. Linux
  3. Lain
  4. Archive of Formal Proofs

Archive of Formal Proofs 2011

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 4.0/5 - ‎1 ‎Undi
Muat turun

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.

sejarah versi

  • Versi afp-Isabelle2011 diposkan pada 2011-04-03
    Beberapa pembaikan dan pengemaskinian
  • Versi afp-Isabelle2011 diposkan pada 2011-04-03

Butiran Atur Cara

Atur Cara Berkaitan

  • ADAM Abstract Data Access Models Percuma

    2 Java rangka kerja dengan model objek yang telus dan berterusan berdasarkan pendekatan nonstandard (pembangunan yang kurang jelas tetapi lebih cepat): objek adalah satu set medan yang dinamakan. 3 perpustakaan bukan objek me

  • Jedora Remix VM Percuma

    Perkakas Mesin Maya Linux (untuk Kotak Maya). Fedora Remix ini memberi penekanan kepada aplikasi berasaskan Java. Termasuk OpenOffice.org, OpenJDK, pemalam pelayar (IcedTea), dan aplikasi berasaskan Jawa popular seperti Azure

  • DataAide Percuma

    DataAide adalah aplikasi desktop VB.Net yang menggunakan alat pelanggan SQL Server 2000 untuk menjana kelas VB.Net, C#, atau VB6 dan prosedur yang disimpan untuk jadual dalam pangkalan data SQL Server 2k. Ia juga menjana ADO.

  • BlackFox OM (30' Series) Percuma

    BlackFox OM (BlackFox, Model Objek) adalah perpustakaan untuk memegang dan memanipulasi model objek mana-mana sistem, aplikasi dan perpustakaan. Anda boleh menggunakannya sebagai sebahagian daripada alat UML, sebahagian darip

  • InfraHID Percuma

    Tujuan projek adalah untuk membolehkan webcam biasa digunakan sebagai Peranti Antara Muka Manusia (HID). Contoh cara menggunakan perisian ini akan digunakan adalah: tetikus, mengawal permainan video, papan putih elektronik, a

  • Prop compiler compiler Percuma

    Prop adalah bahasa padanan corak berdasarkan C++. Ia melaksanakan taip data algebra, pemadanan corak dan penulisan semula, dan menjana kod C++ sebagai output.

  • ga-flamoot Percuma

    Algoritma genetik di Python untuk program berkembang yang menulis rentetan yang diberikan kepada ruang data yang diperuntukkan, menggunakan bahasa mesin buatan dengan hanya 7 arahan dan pembalikan aliran.

  • Fennel Percuma

    Fennel adalah perpustakaan storan data dan komponen pemprosesan yang ditulis dalam C++. Ia dibangunkan sebagai sub-projek Projek Eigenbase, dan juga berfungsi sebagai substrat untuk projek Farrago.

  • NExcel Percuma

    Perpustakaan NExcel membolehkan aplikasi .NET untuk membaca fail Cik Excel, serasi dengan Excel 97 dan atas. Tidak perlu memasang Cik Office Excel atau mana-mana perpustakaan pihak ketiga. Berdasarkan JExcelAPI oleh And

  • OpenTag Percuma

    OpenTag adalah timbunan komunikasi yang diketengahkan sepenuhnya untuk DASH7 Mode 2 (ISO 18000-7.4). Ia bertujuan untuk menjalankan HW terbenam, terutamanya RF SoC, tetapi ia boleh di ported kepada hampir apa-apa. Pencapaian