The TLA+ formal specification corpus

The TLA+ formal specification corpus — available at the academic tier.

Requires the academic tier · this body is never sent to your browser.