fetching inaccurate lemma name when searching for lemmas to prove

[mx-xn]

copra/src/rl/simple_proof_env.py

Line 514 in cd11ffb

lemma_found = lemma_name.startswith(self.lemma_name) if lemma_name is not None else False

Since it is checking if lemma_name.startswith the lemma name to proven instead of checking equality of the lemma names, the tool attempt to prove a lemma whose name contains the lemma to prove, but is not the correct one.

[amit9oct]

@mx-xn Thank you for pointing out this bug. A hard one to catch. I have fixed it with my latest PR: #66

Please pull the changes.