> If it is logic proof, it is not functional. Logic proofs are functional programs; at least, they are isomorphic to them, by Curry-Howard. https://en.wikiped

> If it is logic proof, it is not functional. Logic proofs are functional programs; at least, they are isomorphic to them, by Curry-Howard. https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspon...