CD Tools Main Page
Investigations into Proof Structures – Supplementary Material
Supplementary material for the paper
Investigations into Proof Structures
Christoph Wernhard and Wolfgang Bibel
2023
[ Preprint:
http://cs.christophwernhard.com/papers/investigations/
]
investigations.pl
Prolog code with examples and experiments. Runs with
CD Tools
.
output_investigations.txt
Output of running all examples in
investigations.pl
.
CD Tools Main Page
Contact:
info@christophwernhard.com