[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-register-public] [task #7325] Submission of LKalculus
From: |
Raffaele Arecchi |
Subject: |
[Savannah-register-public] [task #7325] Submission of LKalculus |
Date: |
Sat, 22 Sep 2007 18:31:19 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; it; rv:1.8.0.12) Gecko/20070718 Fedora/1.5.0.12-4.fc6 Firefox/1.5.0.12 |
URL:
<http://savannah.gnu.org/task/?7325>
Summary: Submission of LKalculus
Project: Savannah Administration
Submitted by: pappus
Submitted on: sabato 22/09/2007 alle 18:31
Should Start On: sabato 22/09/2007 alle 00:00
Should be Finished on: martedì 02/10/2007 alle 00:00
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=9521> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):
* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=9521>
= Registration Details =
* Name: *LKalculus*
* System Name: *lkalculus*
* Type: non-GNU software & documentation
* License: GNU General Public License v2 or later
----
==== Description: ====
LKalculus is a theorem prover for LK theory (classic logic) written in Common
LISP. Its algorithm is based on the Oiva Ketonen's rules which are a variant
of the Gentzen's sequents method. It should work for any Common LISP
implementation, but it is tested to run on CLISP and CMUCL.
At the moment, the code in hosted in my web page at University of Pavia.
Here is a link for the complete source code:
http://aumat.unipv.it/~arecchi/lkalculus-0.1.tar.gz
==== Other Software Required: ====
a Common Lisp implementation, such as CLISP, CMUCL.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/task/?7325>
_______________________________________________
Messaggio inviato con/da Savannah
http://savannah.gnu.org/
- [Savannah-register-public] [task #7325] Submission of LKalculus,
Raffaele Arecchi <=