i need more mathematician friends on mastodon. can you boost this for visibility, please?

@oneofvalts I don't consider myself (yet) a proper mathematician but I'm interested on them and I'm starting to learn more. I'm especially interested in theoretical CS, mathematical logic, proofs and and proof assistants (I like proofs). I don't post many math related content but it's because I don't have many mathematical friends here (but I want them too!)
Sign in to participate in the conversation
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko