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: Sep 28 2026 at 16:33 UTC