4 ms·
This issue is addressed in the FAQ: https://coq.inria.fr/faq?q=node/16&som=2#htoc4 https://coq.inria.fr/faq?q=node/16&som=2#htoc4
by bnegreve 12y ago
This issue is addressed in the FAQ:
https://coq.inria.fr/faq?q=node/16&som=2#htoc4 https://coq.inria.fr/faq?q=node/16&som=2#htoc4