News for hackers. Stuff that matters.

A comment on TLA+. Parent comment

Re:TLA+ by mratsim on Monday March 08, 2021 @12:17PM (#26388351)
I have compiled my research in formal verification tools and papers here, there are a couple dozens:

- https://github.com/mratsim/weave/issues/18

[ Parent | on HN ]

There are no comments on this comment yet.