Question: Are there proofs in the Tabulae software?
SQL: SELECT Proofs FROM table WHERE Software = tabulae