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
- Category: Development > Other
- Publisher: liblogic.sf.net
- License: Free
- Price: N/A
- Version: Array
- Platform: windows