Add Plausible to the imported modules (#46)

leanprover-community · Nov 24, 2024 · a9fefeb · a9fefeb
1 parent 5240162
commit a9fefeb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Projects/mathlib-demo/MathlibLatest.lean b/Projects/mathlib-demo/MathlibLatest.lean
@@ -1,5 +1,6 @@
 import Mathlib
 import ProofWidgets
+import Plausible
 
 import MathlibLatest.Bijection
 import MathlibLatest.Logic