Sparkle

From Clean
Revision as of 09:44, 11 April 2008 by Bas Lijnse (talk | contribs) (Added a short description, copied from the clean homepage)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Sparkle is a proof tool specially constructed for Clean. The tool knows the Clean syntax and semantics. It comes with a rich set of proof tactics and a powerful hint mechanism to aid the user in proving properties of Clean programs.

Sparkle homepage