So uh, I kinda built a Z3 tactic for Agda today?https://github.com/wenkokke/schmitty/
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!
