add link

leanprover-community · Sep 8, 2023 · c1736ea · c1736ea
1 parent cc64d4d
commit c1736ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/posts/first-lean-release.md b/posts/first-lean-release.md
@@ -28,7 +28,7 @@ We want to make sure that everyone can find compatible versions of libraries,
 and that everything **just works**.
 
 It's a long road to get there,
-but the Lean Focused Research Organization intends to dedicate resources
+but the Lean [Focused Research Organization](https://lean-fro.org/) intends to dedicate resources
 towards making this happen.
 
 The core language releasing regular stable versions is a first step towards this!