GitHub repository: michaelgwelch/incredible
Primary language: Haskell
Description: The Incredible Proof Machine