Willwhistler@mathstodon.xyz
Willwhistler@mathstodon.xyz
willwhistler@mathstodon.xyz
I'm an independent researcher interested in the computational complexity of exact counting problems, category theory, formalisation and (semi-)automated theorem proving. Once upon a time I was also a reverse engineer, and I still tinker with program analysis things occasionally.
👤 Visit Willwhistlers profile 👤 Willwhistlers Profil besuchen