3 ms·
They do, it's linked from the page: https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names
by throwaway287391 6y ago
They do, it's linked from the page: https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names