3 ms·
Indeed, though I have no quote or link for this "claim".
by rosetremiere 4y ago
Indeed, though I have no quote or link for this "claim".
- xigoi 4y agoWell, functional programming is very natural for theorem provers, especially those based on the Curry-Howard correspondence.