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

[Hans Åberg]

URL:
  <http://savannah.gnu.org/task/?14427>

                 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

    _______________________________________________________

Details:

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
Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=11716> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):

* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=11716>


= 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  https://gmplib.org
Bison   GLP v3 and LGPL  https://www.gnu.org/software/bison/
Flex     BSD  https://github.com/westes/flex




==== Tarball URL: ====
https://secure2.storegate.com/Shares/Home.aspx?ShareID=bff22a3d-bade-4932-baa3-87e830d31027






    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?14427>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/