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!
That's #InteractiveTheoremProving, apologies.