llprover

llprover
All Links

Share this:

Details of llprover

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