Difference between revisions of "Sparkle"
From Clean
Jump to navigationJump to searchBas Lijnse (talk | contribs) (Added a short description, copied from the clean homepage) |
(No difference)
|
Latest revision as of 10:44, 11 April 2008
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.