delete drat file

bsubercaseaux · Jun 7, 2024 · 4088ff1 · 4088ff1
1 parent b1cc427
commit 4088ff1
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/cube_checking/proof_cube_taut.drat b/cube_checking/proof_cube_taut.drat