libLogic

License: Free ‎File size: N/A
‎Users Rating: 3.0/5 - ‎1 ‎votes

libLogic is a software library for automated theorem proving with the believed-to-be-unequalled ability to correctly and efficiently prove precisely all provable statements in any logical theory of any order, with no human aid.

VERSION HISTORY

  • Version N/A posted on 2011-08-12
    Several fixes and updates
  • Version N/A posted on 2011-08-12

Program Details