R rowzero.io We verify the correctness of a spreadsheet engine 71 points breckognize 2 years ago 7 comments