**Oskar** @owi@social.cleverlibre.org · 2022-11-18T18:20:08Z

Oskar @owi@social.cleverlibre.org

Lots of old and new friends around here now. Have a nice weekend all! I'm gonna find some time to hack on LTL stuff.

**LucifarGundam** @lucifargundam@social.cleverlibre.org · Nov 18, 2022, 18:47

**LucifarGundam** @lucifargundam@social.cleverlibre.org · Nov 18, 2022, 18:47

LucifarGundam @lucifargundam@social.cleverlibre.org

@owi
LTL?

**Oskar** @owi@social.cleverlibre.org · Nov 18, 2022, 18:55

**Oskar** @owi@social.cleverlibre.org · Nov 18, 2022, 18:55

Oskar @owi@social.cleverlibre.org

@lucifargundam linear temporal logic