copyright blurb

leanprover · Oct 16, 2024 · 862ee8e · 862ee8e
1 parent ef464bc
commit 862ee8e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Tactics/QuoteLight.lean b/Tactics/QuoteLight.lean
@@ -1,3 +1,8 @@
+/-
+Copyright (c) 2024 Amazon.com, Inc. or its affiliates. All Rights Reserved.
+Released under Apache 2.0 license as described in the file LICENSE.
+Author(s): Alex Keizer
+-/
 import Lean
 import Tactics.QuoteLight.ToExpr