Description: A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic.
Open forum for all scientific topics! Excellent source of information to study. This forum is place to talk with interesting people