4 ms·

Does TLA+ support double-primed variables? Like second-derivative sort of thing.

• hwayne 4y ago
  Unfortunately it does not.