I was about to suggest this myself! I would love a formal methods community here. I’m a new PhD student and my research interest is formal methods and proof verification so I’ve been looking for more ways to interact with the formal methods community. There’s quite a lot of talk about proof assistants over on mathstodon.xyz so I imagine a formal methods home here on Lemmy would be appreciated.
I was about to suggest this myself! I would love a formal methods community here. I’m a new PhD student and my research interest is formal methods and proof verification so I’ve been looking for more ways to interact with the formal methods community. There’s quite a lot of talk about proof assistants over on mathstodon.xyz so I imagine a formal methods home here on Lemmy would be appreciated.
save