Oskar: "Lots of old and new friends around here now. Have…" - Qoto Mastodon

Oskar @owi@qoto.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.

Nov 18, 2022, 18:20 · · · ·

Nov 18, 2022, 18:47

LucifarGundam @lucifargundam@qoto.org

@owi
LTL?

Nov 18, 2022, 18:55

Oskar @owi@qoto.org

@lucifargundam linear temporal logic

Sign in to participate in the conversation