Masala: The Repository of Curry Packages

Last page: Version/show/Version247

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 peano rewriting scc
Exported modules
ToAgda ToVerifier VerifyOptions
Uploaded by
The Masala Administrator
at Aug 10 10:09:49 2022 (UTC)
Maintainer
The Masala Administrator
Deprecated
no

Succesfully tested at Feb 15 06:11:44 2023

Curry Package verify

A tool to support the verification of Curry programs

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