Masala: The Repository of Curry Packages

Last page: Package/show/Package11

Visibility

Public
Category
Verification
Versions
3.0.0 2.0.0 0.0.2 0.0.1
Dependencies
abstract-curry base cass cass-analysis currycheck currypath directory filepath peano process rewriting scc time
Exported modules
ToAgda ToVerifier VerifyOptions
Uploaded by
Michael Hanus
at Mar 16 17:12:20 2024 (UTC)
Maintainer
The Masala Administrator
Deprecated
no

Succesfully tested at May 20 05:06:11 2024

Curry Package verify

A tool to support the verification of Curry programs

Detailed package documentation (available shortly after this version has been published)