Closed olaure01 closed 3 years ago
Information about provability could be propagated downwards inside the proof:
This would in particular allow to avoid the attached situations with a meaningless orange turnstile:
Good point!
I opened for the red turnstile update https://github.com/etiennecallies/click-and-collect/issues/83
Information about provability could be propagated downwards inside the proof:
This would in particular allow to avoid the attached situations with a meaningless orange turnstile: