This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
HackerNoon
hackernoon.com
did:plc:kbzotn4ippvrqllcitxglgm2
We defined temporal hierarchies using the unary temporal logic operator C 7→ TL(C). We looked at the bases G and G + when G is a group prevariety. #hierarchy
https://hackernoon.com/defining-temporal-hierarchies-and-how-we-proved-that-corresponding-hierarchies-are-always-strict
2025-01-31T02:29:23.052Z