← Back to context Comment by esafak 14 hours ago What did you do to get the TLA output? 1 comment esafak Reply aerodexis 14 hours ago I was working from a design-doc, not code."look at @design-document and generate a TLA+ specification for the interactions between local and remote"
aerodexis 14 hours ago I was working from a design-doc, not code."look at @design-document and generate a TLA+ specification for the interactions between local and remote"
I was working from a design-doc, not code.
"look at @design-document and generate a TLA+ specification for the interactions between local and remote"