4 ms·
There are, you can check this discussion [1] as well. [1] https://github.com/coq/coq/issues/10871 https://github.com/coq/coq/issues/10871
by xvilka 2y ago
There are, you can check this discussion [1] as well.
[1] https://github.com/coq/coq/issues/10871 https://github.com/coq/coq/issues/10871