condensed-detachment

Here are 3 public repositories matching this topic...

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

My contributions to Metamath's mmsolitaire project.

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."