I find I'm having to turn to Twitter to find resources / people in the field of #InteractiveMethodProving (#ITP). 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 #ComputerScience degree? Any leads / pointers appreciated. Thank you!
@evautier searching for #coq or #leanprover provides a few people, but the community still seems very small
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.
That's #InteractiveTheoremProving, apologies.