GitHub repository: nomeata/ghc-proofs
Primary language: Haskell
Created: 2017-02-06T21:50:31Z
Description: Let GHC prove program equations for you