GitHub repository: nomeata/incredible
Primary language: Haskell
Created: 2015-07-24T07:46:31Z
Description: The Incredible Proof Machine