[stared]

In this line - I enjoyed playing Euclidea (https://www.euclidea.xyz/) a minimalistic game on Euclidean geometry. The specification of geometry looks similar to the one from the game.

...

Side note: when I hear "Penrose diagrams" I have in mind Penrose tensor notation, as in https://www.math3ma.com/blog/matrices-as-tensor-network-diag....