Create README.md

CBirkbeck · Apr 26, 2024 · 0dab7b3 · 0dab7b3
1 parent 7a784c5
commit 0dab7b3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1 @@
+This will be frozen on lean 4.5.0-rc1 as I port it to mathlib.