Are there proofs in the Tabulae software?
CREATE TABLE table_name_88 (proofs VARCHAR, software VARCHAR)
SELECT proofs FROM table_name_88 WHERE software = "tabulae"
<s>[INST] Write mssql query to answer the following question given the database schema. Schema: CREATE TABLE table_name_88 (proofs VARCHAR, software VARCHAR) Question: Are there proofs in the Tabulae software? [/INST] SELECT proofs FROM table_name_88 WHERE software = "tabulae" </s>