lolliCoP

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

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element