Packages tagged verification
1 package has this tag.
Related tags: gpl (1), library (1), program (1), types (1)
- liquidhaskell library and program: Liquid Types for Haskell (gpl, library, program, types, verification)
1 package has this tag.
Related tags: gpl (1), library (1), program (1), types (1)