TLA+ (Temporal Logic of Actions)
1.06× in 30 days, from 17.3k to 18.3k installs, faster than 92% of editor extensions.
Measured by Vela Breakout · as of Oct 10, 2026 · How we measure
1.06× in 30 days, from 17.3k to 18.3k installs, faster than 92% of editor extensions.
Measured by Vela Breakout · as of Oct 10, 2026 · How we measure