Post #3057013
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 (0)
No replies.
2026-02-24 04:59 UTC
No replies.