Run npm install.

leanprover · Jun 24, 2022 · a56f5c6 · a56f5c6
1 parent 60c43bb
commit a56f5c6
Showing 1 changed file with 16 additions and 16 deletions.
diff --git a/package-lock.json b/package-lock.json