TLA+ mental models (by metadata) — discussion

#formalmethods