LKalculus - Summary
Group identification
Id: 9521
System Name: lkalculus
Name: LKalculus
Group Type: non-GNU software and documentation
Search in this Group
This group is not part of the GNU Project.
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.
Registration Date: Sat 22 Sep 2007 06:25:23 PM UTC
License: GNU General Public License v2 or later
Development Status: 4 - Beta
Communication Tools
Tech Support Manager (open items: 0, total: 0)
Mailing Lists (1 public mailing list)
Development Tools
Bug Tracker (open items: 0, total: 0)
Task Manager (open items: 0, total: 0)
- Browse open items
Submit a new item
Powered by Savane 3.13-caa5.
Corresponding source code