Elliot Swart
Results
1
issues of
Elliot Swart
## Introduction This is a pull request meant to remove significant technical debt and barriers to entry from the TLA+ / TLC project. This was done for two primary reasons:...