GitHub repository: nikivazou/theorem-proving-template
Primary language: Haskell
Created: 2017-10-10T23:14:06Z
Description: Template repo for theorem proving in Liquid Haskell