lolliCop - A Linear Logic Implementation of a Lean Connection-Method Theorem Prover for First-Order Classical Logic.

Joshua S. Hodas, Naoyuki Tamura

Browse the full CADE paper archive.