Search concepts and definitions

Search the public explanations, neutral concept aliases and qualified TLA+ definitions in this release. Try zero cost, lifecycle, consecutive passes or a module and operator name.

Search enhancement is unavailable until its local scripts and index load. The static browse links below remain available.