lolliCoP

lolliCoP -- a linear logic implementation of a lean connection-method theorem prover for first-order classical logic