3 ms·
Well, functional programming is very natural for theorem provers, especially those based on the Curry-Howard correspondence.
by xigoi 5y ago
Well, functional programming is very natural for theorem provers, especially those based on the Curry-Howard correspondence.