GitHub repository: rudymatela/leancheck-instances
Primary language: Haskell
Created: 2018-11-28T22:45:54Z
Description: Common LeanCheck instances