search

hwayne / learntla

A TLA+ guide
http://www.learntla.com
Creative Commons Attribution 4.0 International
278 stars 57 forks source link

Addresses issue #88, LargestTwinPair solution #102

Closed ben-barnes closed 2 years ago

ben-barnes commented 3 years ago

The largest twin pair is that for which all twin pairs are less than or equal to it. Thanks for writing this book @hwayne!

hwayne commented 2 years ago

Closing because archiving in favor of new version