import import

leanprover-community · Dec 12, 2024 · 067fca7 · 067fca7
1 parent 1a24a0f
commit 067fca7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -54,8 +54,8 @@ which will automatically fetch pre-built JavaScript files *as long as* you requi
 rather than the `main` branch.
 In this mode, you don't need to have NPM installed.
 
-⚠️ [EXPERIMENTAL] To import ProofWidgets4 JS components in widgets defined in other Lean packages,
-you can import [@leanprover-community/proofwidgets4](https://www.npmjs.com/package/@leanprover-community/proofwidgets4) on NPM.
+⚠️ [EXPERIMENTAL] To use ProofWidgets4 JS components in widgets defined in other Lean packages,
+you can import [@leanprover-community/proofwidgets4](https://www.npmjs.com/package/@leanprover-community/proofwidgets4) from NPM.
 
 ## Features