3 ms·
Theorem provers are increasingly popular in certain areas of linguistics.
by sinkasapa 6y ago
Theorem provers are increasingly popular in certain areas of linguistics.
- wk_end 6y agoCan you say more? My background is in PLT and my half-finished thesis was in Coq - but I've got a real interest in (human) languages too. I'd love to hear about how the two are intermingling.