3 ms·
Note that the specification (what you prove correctness of the implementation against) already grows with the number of interactions.
by maweki 5y ago
Note that the specification (what you prove correctness of the implementation against) already grows with the number of interactions.