remove bin files

reilabs · Jul 25, 2024 · fac6902 · fac6902
1 parent e146b10
commit fac6902
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/light-prover/formal-verification/.lake/lakefile.olean b/light-prover/formal-verification/.lake/lakefile.olean
diff --git a/light-prover/formal-verification/.lake/lakefile.olean.trace b/light-prover/formal-verification/.lake/lakefile.olean.trace