4 ms·This is how my discrete logic class in college was taught. To code the proofs, we used Haskell.by philipov 8y agoThis is how my discrete logic class in college was taught. To code the proofs, we used Haskell.