profkinyon.bsky.social
Mathematics professor at the University of Denver. Quasigroups, Semigroups, Automated Deduction. He/Him. Also hanging out at Mathstodon.
355 posts
1,246 followers
548 following
Regular Contributor
Active Commenter