[YoshiRulz]

The author links to another blog discussing the related Martinez-Rueda algorithm, which I mention not only because this post ends with "I am considering implementing the Martinez-Rueda algorithm because [... it is more featureful]", but because at the top of it[1] there's a "visual proof" of sorts that I found strikingly concise.

[1]: https://sean.cm/a/polygon-clipping-pt2#annotating-segments

[speps]

The sweeping line algorithm with a priority queue is what's used internally by the GLU Tessellator[1].

[1] https://www.glprogramming.com/red/chapter11.html