Logic & Reasoning & Thereom Proving - YuMingLiao/haskell_code GitHub Wiki Code and resources for "Handbook of Practical Logic and Automated Reasoning" Predicate logic and First-order logic Good Image Logic dependently-typed-programming-and-theorem-proving-in-haskell
