We verify the correctness of a spreadsheet engine

Spreadsheets are a really interesting software domain, because they have a ton of overlapping features. What happens if you enter two numbers into two cells, format the numbers as text, merge them i… [+13172 chars]