2026-02-24 04:59 UTC
new blog series: get in, losers, we're doing reactive programming and temporal logic in lean https://ntaylor.ca/posts/lean-ltl/
(draft, feedback welcome!)
Replies (1)
-
@evanvm@hachyderm.io 2026-02-24 05:06
@nathan@types.pl "different tnan"