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