3 ms·
IIRC, the only reason mathcomp isn't in the Coq standard library is because the license isn't free.
by anonlastname 8y ago
IIRC, the only reason mathcomp isn't in the Coq standard library is because the license isn't free.
loading thread…
3 ms·