“So it can tell you things about like every possible thing that could possibly happen in the entire universe show that, for example, a certain safety property is always given in those.”
0:001:25:00
Ready to play
0:00
--:--
Enjoying this?
Create a free account to bookmark episodes and follow shows.
