Possibly Infinite Trees of Finite Degree

Stream: Leaning In!

[Lukas Gerlach]

Hi! The template repo I used yesterday also including the slides can be found here. Also, you can check out the repo with the actual formalization of infinite trees that I'm using for the formalization of existential rules and the chase that I very briefly mentioned. We can discuss things further here if you want :)