TLA+ mental models

14 points by metadata