Below is an context that describes a sql query, paired with an question that provides further information. Write an answer that appropriately completes the request.  # noqa: E501
### 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"