Comment on Coq 8.13parentComments−sinkasapa5yTheorem provers are increasingly popular in certain areas of linguistics.−wk_end5yCan 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.
Comments
Theorem provers are increasingly popular in certain areas of linguistics.
Can 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.