Delete samples/Lean/set.hlean

This reduces the numbers of samples down to one, avoiding the statistical classifier.
eric-wieser · Nov 28, 2023 · bc21901 · bc21901
1 parent faff89e
commit bc21901
Showing 1 changed file with 0 additions and 70 deletions.
diff --git a/samples/Lean/set.hlean b/samples/Lean/set.hlean