Comment by bvrmn

9 months ago

For TLA it's even worse. Increasing node counts makes the spec immediately more "correct", at least it feels like that xdd.

0 comments