@krismicinski.bsky.social

kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app