Subscribe
 


llprover








 
llprover
A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic.

Authored by at , Added: Mar 8, 2004



http://bach.scitec.kobe-u.ac.jp/llprover/

Unsorted Pool