CD Tools Main Page

Investigations into Proof Structures – Supplementary Material

Supplementary material for the paper

Investigations into Proof Structures
Christoph Wernhard and Wolfgang Bibel
Journal of Automated Reasoning, 68(24), 2024.
bib | DOI | Abstract ]

CD Tools Main Page

Contact: info@christophwernhard.com