zipperposition icon indicating copy to clipboard operation
zipperposition copied to clipboard

Published 20 hours ago • verified publisher icon sneeuwballen

parse error on Problems/SYO/SYO042^2.p

Open c-cube opened this issue 5 years ago • 0 comments

mix of negation in head and argument positions?

c-cube avatar Feb 10 '20 00:02 c-cube