That post seems to be missing.

synthetic_apriori 3 points 3 years ago

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.

path: 0 1155791, hotness: undefined, score: 3, children: 0

Ategon 3 points 3 years ago

Created the community at https://programming.dev/c/formal_methods

save

path: 0 1222315, hotness: undefined, score: 3, children: 1

demesisx 2 points 3 years ago

Amazing! Thank you!

save

path: 0 1222315 1227165, hotness: undefined, score: 2, children: 0

thanks for using Leebra!

go to feed...

thanks for using Leebra!

go to feed...