diff --git a/lean-toolchain b/lean-toolchain
new file mode 100644
index 0000000..3cf5817
--- /dev/null
+++ b/lean-toolchain
@@ -0,0 +1,2 @@
+leanprover/lean4:stable
+