cleanup

leanprover-community · Nov 15, 2023 · 17ab35d · 17ab35d
1 parent c8e607a
commit 17ab35d
Showing 1 changed file with 0 additions and 53 deletions.
diff --git a/examples/tyoe.lean b/examples/tyoe.lean