MetaLogic Inference - Summary
Group identification
Id: 11716
System Name: metalogic-inference
Name: MetaLogic Inference
Group Type: Official GNU software
Search in this Group
This software is part of the GNU Project.
GNU MLI, the MetaLogic Inference program, analyzes and finds proofs of logical and mathematical statements, starting at the metamathematical level. MLI supports unification branching, substitutions with conditions, and breadth-first proof tree searches.
Registration Date: Tue 28 Mar 2017 01:50:21 PM UTC
License: GNU General Public License v3 or later
Development Status: 0 - Undefined
Communication Tools
Tech Support Manager (open items: 0, total: 0)
Mailing Lists (0 public mailing lists)
Development Tools
Bug Tracker (open items: 0, total: 0)
Task Manager (open items: 0, total: 0)
- Browse open items
Submit a new item
Powered by Savane 3.14-d582.
Corresponding source code