TLA+ tools

GPTKB entity