GitHub repository: pascalpoizat/veca-haskell
Primary language: Haskell
Description: verification of component architectures