i need more mathematician friends on mastodon. can you boost this for visibility, please?
This profile might be incomplete.
Open on mastodon.sdf.org abdullah uyupersonal site:
operating system:
formerly parabola gnu/linux-libre, currently openbsd
proof assistant:
coq
nano:
nano_18kjkj4yy9d7twxfw8pxar75jtx3ti6xoacpse793cnt1inttjfo5o4fjhr1
Personal infoAbout:
raw, refined, raw again
Wall 1 post
i need more mathematician friends on mastodon. can you boost this for visibility, please? |
@oneofvalts
cc @vftdan