CleanSheets is the first spreadsheet application that is both extensible and platform-independent. It features a formula language that closely resembles that of Microsoft Excel, and extensions for aiding end-user programmers develop correct spreadsheets.