- Home
- Science
- Mathematics
- llprover
Science · Mathematics
llprover
Listed in the directory · updated 23 Jul 2022
About llprover
llprover- A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic.
Science · Mathematics
Listed in the directory · updated 23 Jul 2022
llprover- A linear logic prover that searches a cut-free proof for the given two-sided sequent of first-order linear logic.