Softpedia
 
HomepageWindowsGamesDriversMacLinuxScripts buttonMobileHandheldNews


LINUX CATEGORIES:



GLOBAL PAGES >>
NEWS ARCHIVE >>
SOFTPEDIA REVIEWS >>
MEET THE EDITORS >>
WEEK'S BEST
  • BackTrack 5 R2
  • Wine 1.4 / 1.5.5
  • Mozilla Firefox 12...
  • Ubuntu 11.04
  • Angry Birds 1.1.2.1
  • Ubuntu 10.04.4 LTS
  • Linux Kernel 3.4
  • Ubuntu Manual 10.10
  • Adobe Flash Player...
  • Pidgin 2.10.4
    		•
    7-DAY TOP DOWNLOAD
    #
    Program
    Wine 1.4 / 1.5.5
    2,347 downloads
    Phorum 5.2.17
    2,306 downloads
    VLC 2.0.1
    2,185 downloads
    BackTrack 5 R2
    1,695 downloads
    Google Chrome
    19.0.1084.52 /
    20.0.1132.17 Beta /
    21.0.1145.0 Alpha
    1,673 downloads
    Adobe Flash Player
    for Linux
    11.2.202.228
    1,588 downloads
    Linux Mint 13
    1,314 downloads
    Ultimate Edition 3.3
    1,212 downloads
    Yahoo Messenger
    1.0.4
    1,195 downloads
    Ubuntu 12.04 LTS
    1,047 downloads
    TOP 10 LINUX DISTROS
    #
    Distribution
    BackTrack 5 R2
    787,541 downloads
    Fedora 16
    460,464 downloads
    Mandriva Linux 2011
    378,370 downloads
    KNOPPIX Live DVD
    6.7.1
    334,272 downloads
    Yellow Dog Linux 6.2
    247,716 downloads
    Kororaa AIGLXgl Live
    CD 0.3
    202,973 downloads
    openSUSE Linux 12.1
    / 12.2 Milestone 3
    190,894 downloads
    Red Hat Enterprise
    Linux 6.2 / 6.3 Beta
    187,684 downloads
    Slackware 13.37
    154,355 downloads
    Ubuntu 9.10
    126,416 downloads
    Home > Linux > Tags > proof assistant

    Downloads tagged with: proof assistant


    Coq 8.2pl1

    NEW
    Coq icon A formal proof management system
    [read more >]

    License:
    Rating:
    Downloads:
    Category:
    Updated:

    LGPL
    NOT RATED
    410
    Mathematics
    August 11th, 2009 GMT

    ProofGeneral 3.7

    NEW
    ProofGeneral icon ProofGeneral is a powerful frontend for proof assistants based on Emacs.
    [read more >]

    License:
    Rating:
    Downloads:
    Category:
    Updated:

    GPL
    Fair (2.9/5)
    337
    Mathematics
    March 29th, 2008 GMT

    Isabelle 2005

    NEW
    Isabelle icon Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich.
    [read more >]

    License:
    Rating:
    Downloads:
    Category:
    Updated:

    BSD License
    Fair (2.3/5)
    647
    Mathematics
    March 22nd, 2006 GMT

    WindowsGamesDriversMacLinuxScriptsMobileHandheldNews

    SUBMIT PROGRAM   |   ADVERTISE   |   GET HELP   |   SEND US FEEDBACK   |   RSS FEEDS   |   UPDATE YOUR SOFTWARE   |   ROMANIAN FORUM
    © 2001 - 2012 Softpedia. All rights reserved.
    Softpedia® and the Softpedia® logo are
    registered trademarks of SoftNews NET SRL.    		 Copyright Information | Privacy Policy | Terms of Use