Follow

just read about TLA+/PlusCal and now really want to spend more time with formal verification en.wikipedia.org/wiki/TLA%2B

Sign in to participate in the conversation
Mastodon for Tech Folks

This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!