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