Context: CREATE TABLE table_name_88 (proofs VARCHAR, software VARCHAR)
Question: Are there proofs in the Tabulae software?
Answer: SELECT proofs FROM table_name_88 WHERE software = "tabulae"