A new #formalmethods community was just created on the Lemmy instance programming.dev: https://programming.dev/c/formal_methods@programming.dev

I’ve seen lots of interesting discussion on Mathstodon about #FormaMathematics, #TheoremProving and #ProofAssistants such as #Lean4, #Coq, #agda, #isabelle, and others. In addition to the fascinating discussion here on Mathstodon, I would love to see an active home on Lemmy for aggregating resources on formal methods and formal mathematics!