search

hwayne / learntla-v2

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

"hundreds in thousands" #31

Closed frankshearar closed 1 year ago

frankshearar commented 1 year ago

In https://learntla.com/intro/faq.html#does-tla-actually-find-bugs it should be "hundreds of thousands".