GitHub repository: ucsd-progsys/prover
Primary language: Haskell
Description: Automatic Prover for Logical Predicates