I have another question — if I’d like to add a new method for computing proofs, which part of the codebase should I modify or extend? Thank you in advance for your guidance.
I have another question — if I’d like to add a new method for computing proofs, which part of the codebase should I modify or extend?
Thank you in advance for your guidance.