Assumption Name clash
James-Oswald opened this issue · 0 comments
James-Oswald commented
Assumptions with the same name clash, should be based off of proof node IDs which are globally unique.
James-Oswald opened this issue · 0 comments
Assumptions with the same name clash, should be based off of proof node IDs which are globally unique.