I have a question about computer-generated proofs, as I am doing something similar. When you encode the search tree as a proof, is there a technical name for that technique? In my situation I encoded the proof as a…
I have a question about computer-generated proofs, as I am doing something similar. When you encode the search tree as a proof, is there a technical name for that technique? In my situation I encoded the proof as a…