MetaLogic Inference program.
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.
DocumentationSelection from the FSF shop
If you have corrections to this entry or questions about it, please contact: mailto:email@example.com
released on 31 March 2017
Accepts cryptocurrency donations.
3 July 2018
Leaders and contributors
Resources and communication
This entry (in part or in whole) was last reviewed on 5 January 2019.