Proof techniques question | Together Java | Page 1

solid prawnBOT Jul 30, 2023, 12:02 PM

#

<@&987246746478460948> please have a look, thanks.

solid prawnBOT Jul 30, 2023, 12:02 PM

#

solid prawn <@&987246746478460948> please have a look, thanks.

#

While you are waiting for getting help, here are some tips to improve your experience:

Code is much easier to read if posted with syntax highlighting and proper formatting.

If nobody is calling back, that usually means that your question was not well asked and hence nobody feels confident enough answering. Try to use your time to elaborate, provide details, context, more code, examples and maybe some screenshots. With enough info, someone knows the answer for sure.

Don't forget to close your thread using the command </help-thread close:1027500463647621170> when your question has been answered, thanks.

rocky tundra Jul 30, 2023, 12:03 PM

#

What if p == 1? Then 4 is not a factor of p²

rocky tundra Jul 30, 2023, 12:10 PM

#

rocky tundra What if `p == 1`? Then 4 is not a factor of p²

Hmmm, I think I see where the error of my ans is. But I'd like to see your oppinion, if possible

solid prawnBOT Jul 30, 2023, 1:39 PM

#

Closed the thread.

#Proof techniques question