From 87d6f6c7c90bf7b427397d6bd2e2c70d610678e3 Mon Sep 17 00:00:00 2001 From: Son Ho Date: Tue, 4 Jul 2023 14:57:51 +0200 Subject: Reorganize the Lean tests --- tests/lean/Loops.lean | 1 + 1 file changed, 1 insertion(+) create mode 100644 tests/lean/Loops.lean (limited to 'tests/lean/Loops.lean') diff --git a/tests/lean/Loops.lean b/tests/lean/Loops.lean new file mode 100644 index 00000000..60c73776 --- /dev/null +++ b/tests/lean/Loops.lean @@ -0,0 +1 @@ +import Loops.Funs -- cgit v1.2.3