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 > theorem prover

    Downloads tagged with: theorem prover


    Logic Reasoner 0.1

    NEW
    Logic Reasoner icon Logic Reasoner is a theorem prover for first-order logic with equality.
    [read more >]

    License:
    Rating:
    Downloads:
    Category:
    Updated:

    GPL v3
    Good (3.3/5)
    460
    Artificial Intellige...
    October 25th, 2007 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