search

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!
https://www.learntla.com
Other
183 stars 39 forks source link

Correct set names in optimization.rst #79

Closed eddyashton closed 5 months ago

eddyashton commented 5 months ago

Rest of the table talks about S and T, this one entry used A and B.