a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
-
Updated
Oct 8, 2018 - Prolog
a linear logic prover based on Naoyuki Tamura's llprover that works under SWI Prolog
Add a description, image, and links to the proof-automation topic page so that developers can more easily learn about it.
To associate your repository with the proof-automation topic, visit your repo's landing page and select "manage topics."