4 ms·
There is an uptick. Probably because of constructive math, category theory and theorem provers have got more publicity lately.
by trenchgun 5y ago
There is an uptick.
Probably because of constructive math, category theory and theorem provers have got more publicity lately.