mainLKalculus - Summary

 
 
Membership Info
Group Admin:
1 active member

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

 

Latest News rss feed

No news found

Quick Overview
 Memberlist (1 member)

Communication Tools
 Mailing Lists (1 public mailing list)

Development Tools
 Task Manager (open items: 0, total: 0)

Back to the top

Powered by Savane 3.13-caa5.
Corresponding source code