You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
But indeed, the problem of the number being quite meaningless in terms of performance still exists, IMHO we need to rethink the bench setup for this to be any useful.
As discussed in https://github.com/coq/coq/wiki/Coq-Call-2022-11-02
The text was updated successfully, but these errors were encountered: