3 ms·
I’m rather surprised they don’t even have internal proposals.
by threatofrain 6y ago
I’m rather surprised they don’t even have internal proposals.
- throwaway287391 6y agoThey do, it's linked from the page: https://github.com/coq/coq/wiki/Alternative-names https://github.com/coq/coq/wiki/Alternative-names