MetaLogic Inference - Summary

Group

Main
- Main
- View members
- Search
Homepage
Download
Support
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Mailing lists
Source code
Bugs
- Submit new
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
Tasks
- ~~Submit new~~
- Browse
- Reset to open
- Digest
- Dependencies
- ~~Export~~
- Get statistics
- Search
News
- Browse
- Atom feed
- ~~Submit~~
- ~~Manage~~

Membership Info

Group Admin:

Hans Åberg

1 active member

[View Members]

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

Latest News