[Savannah-register-public] [task #4972] Submission of Milawa

[Jared C. Davis]

URL:
  <http://savannah.gnu.org/task/?func=detailitem&item_id=4972>

                 Summary: Submission of Milawa
                 Project: Savannah Administration
            Submitted by: jcdavis
            Submitted on: Thu 11/24/05 at 05:41
         Should Start On: Thu 11/24/05 at 00:00
   Should be Finished on: Sun 12/04/05 at 00:00
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
             Assigned to: None
        Percent Complete: 0%
             Open/Closed: Open
                  Effort: 0.00

    _______________________________________________________

Details:

A new project has been registered at Savannah 
The project account will remain inactive until a site admin approve or
discard 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" page, accessible only to site administrators, effectively
logged as site administrators (superuser):

  <https://savannah.gnu.org/admin/groupedit.php?group_id=8148>


######### REGISTRATION DETAILS ######### 

Full Name:
----------
  Milawa

System Group Name:
-----------------
  milawa

Type:
-----
  non-GNU software &amp; documentation

License:
-------- 
  GNU General Public License V2 or later

Description:
------------
  The project is called "Milawa".  My hope is that it will become my
dissertation over the next few years.  The goal is to create a trustworthy
but capable proof checker for a logic similar to the ACL2 logic, by using a
very small core proof checker (which can be trusted) and extending it with
extensions that the core itself verifies.

The fledgling source code is available at my web site here: 
http://www.cs.utexas.edu/users/jared/milawa/.  Unfortunately the project is
at a very early stage (I have only been working on it for a few months at
this point) and it has little documentation (no web site or anything like
that).

Other Software Required:
------------------------
  The program currently needs ACL2 to run.  ACL2 is a GPL'd free software
program available from the University of Texas at Austin.  It runs on many
Common Lisp implementations, including (its preferred implementation) GNU
Common Lisp.

Other Comments:
---------------
  I am looking for a reliable home for the project for the next several
years.  The CS network at UT is nice but lacks public CVS access.  The
project will probably not be of much interest to anyone else for a long time.
 I don't know how that affects your decision to host it.








    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/task/?func=detailitem&item_id=4972>

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