user: Question: Are there proofs in the Tabulae software?
Columns: ['Software', 'Calculations', 'Macros', 'Loci', 'Animations', 'Multilingual', 'Proofs']
Types: ['text', 'text', 'text', 'text', 'text', 'text', 'text']
Sample row: ['Cabri II Plus', 'Yes', 'Yes', 'Yes', 'Yes', 'Yes', 'Yes (on relations)']
SQL:

assistant: SELECT "Proofs" FROM "Table" WHERE "Software" = 'Tabulae';