[openquery]

Thanks for the feedback.

Honestly sets as trees isn't original. While I was learning about ZFC I came across some lectures[0] by Richard Borcherds which was the seed of insipiration for this project.

[0] https://youtu.be/oWN13ktp8gg?t=1154

[nthingtohide]

HACKENBUSH: a window to a new world of math

https://www.youtube.com/watch?v=ZYj4NkeGPdM

Thanks for the blogpost, I think you will like this above SOME3 entry. Owen Maitzen committed suicide which is mentioned in the following video.

The Endless Universe of "Bean and Nothingness"

https://www.youtube.com/watch?v=bRIXgb4UgmY