Comment Comment by yathaid >> a good designgood is doing a lot of heavy lifting here. The point of TLA+/Pluscal is to have a proof of the soundness of the design. parent yathaid 1 year ago
good is doing a lot of heavy lifting here. The point of TLA+/Pluscal is to have a proof of the soundness of the design.