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
Copyright © 2025 Free Software Foundation, Inc.
Verbatim copying and distribution of this entire article
is permitted in any medium, provided this notice is preserved.
The Levitating,
Meditating, Flute-playing Gnu logo is a GNU GPL'ed image provided
by the Nevrax Design Team.
Page source code
Powered by Savane 3.15-e64e.
Corresponding source code