Table schema:
CREATE TABLE table_name_88 (proofs VARCHAR, software VARCHAR)

Question: Are there proofs in the Tabulae software?
SQL: SELECT proofs FROM table_name_88 WHERE software = "tabulae"