3 ms·Like TLA+? https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.htmlby nonethewiser 1y agoLike TLA+? https://lamport.azurewebsites.net/tla/tla.html https://lamport.azurewebsites.net/tla/tla.html