CREATE TABLE table_10246 ("Software" TEXT, "Calculations" TEXT, "Macros" TEXT, "Loci" TEXT, "Animations" TEXT, "Multilingual" TEXT, "Proofs" TEXT)

Are there proofs in the Tabulae software?
SELECT "Proofs" FROM table_10246 WHERE "Software" = 'tabulae'
SELECT "Proofs" FROM "table_10246" WHERE "Software" = 'tabulae'