llprover
bach.scitec.kobe-u.ac.jpA linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.