diff --git a/lakefile.lean b/lakefile.lean index f033524a..28532dee 100644 --- a/lakefile.lean +++ b/lakefile.lean @@ -1,7 +1,7 @@ import Lake open Lake DSL -package «Tactic Cheatsheet» where +package «Lean by Example» where leanOptions := #[ ⟨`autoImplicit, false⟩, ⟨`relaxedAutoImplicit, false⟩