I find I'm having to turn to Twitter to find resources / people in the field of (). Are there dedicated spaces / people in the Fediverse who are students / experts in the field and might be able to give pointers to a youngster who just graduated with a degree? Any leads / pointers appreciated. Thank you!

@evautier searching for #coq or #leanprover provides a few people, but the community still seems very small

Sign in to participate in the conversation
Librem Social

Librem Social is an opt-in public network. Messages are shared under Creative Commons BY-SA 4.0 license terms. Policy.

Stay safe. Please abide by our code of conduct.

(Source code)

image/svg+xml Librem Chat image/svg+xml