Prove-It icon indicating copy to clipboard operation
Prove-It copied to clipboard

Published 20 hours ago • verified publisher icon sandialabs

Theorem._mark_usability off-by-1 bug!

Open wwitzel opened this issue 1 year ago • 0 comments
trafficstars

while len(to_process) > 1 should be while len(to_process) > 0 Oops!

I'll fix and test this right away.

wwitzel avatar Apr 07 '24 17:04 wwitzel