condensed-detachment

Here are 2 public repositories matching this topic...

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

Add a description, image, and links to the condensed-detachment topic page so that developers can more easily learn about it.

To associate your repository with the condensed-detachment topic, visit your repo's landing page and select "manage topics."