Comment by BoiledCabbage

Does anyone know how this compares to TLA+?

Pros, cons, differences?