[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Savannah-register-public] [task #14427] Submission of MetaLogic Inferen

From: Hans Åberg
Subject: [Savannah-register-public] [task #14427] Submission of MetaLogic Inference
Date: Tue, 28 Mar 2017 09:50:22 -0400 (EDT)
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_12_4) AppleWebKit/603.1.30 (KHTML, like Gecko) Version/10.1 Safari/603.1.30


                 Summary: Submission of MetaLogic Inference
                 Project: Savannah Administration
            Submitted by: haberg
            Submitted on: Tue 28 Mar 2017 01:50:21 PM UTC
         Should Start On: Tue 28 Mar 2017 12:00:00 AM UTC
   Should be Finished on: Fri 07 Apr 2017 12:00:00 AM UTC
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00



A new project has been registered at Savannah 
This project account will remain inactive until a site admin approves or
discards the registration.

= Registration Administration =

While this item will be useful to track the registration process, *approving
or discarding the registration must be done using the specific Group
<> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration

= Registration Details =

* Name: *MetaLogic Inference*
* System Name:  *mli*
* Type: non-GNU software and documentation
* License: GNU General Public License v3 or later (As per suggestion by the
GNU Evaluation team, registered as non-GNU until formal approval.


==== Description: ====
The MLI program, short for MetaLogic Inference, proves statements, starting at
the metamathematical level and up.

==== Other Software Required: ====
GMP; Flex and Bison if one wants to recompile the otherwise included parser.
GMP    LGPL v3 and GPL v2
Bison   GLP v3 and LGPL
Flex     BSD

==== Tarball URL: ====


Reply to this item at:


  Message sent via/by Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]