lobste_rs feeds.twtxt.net Mon, May 5 2:17AM (27w ago) Debugging a Logic Circuit in IDP-Z3 Comments ⌘ Read more ⤋ Read More Yarn