research
∙
04/24/2023
How can we prove that a proof search method is not an instance of another?
We introduce a method to prove that a proof search method is not an inst...
research
∙
08/26/2019