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