Stream: Beginner Questions

Topic: Difference between "with X show Y" and "thus Y using X"?

Yoav Cohen (Jul 22 2026 at 10:52):

I don't understand the difference.

Balazs Toth (Jul 22 2026 at 15:34):

The difference is just in the order of the provided facts, check the goal state after both and you will see it

Last updated: Oct 19 2026 at 09:41 UTC