diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS
index f1a8a10bcd0f4..437f2c4f586fd 100644
--- a/.github/CODEOWNERS
+++ b/.github/CODEOWNERS
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 *   @model-checking/kani-devs
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
index 7647990dd685a..86c3dff32c937 100644
--- a/.github/dependabot.yml
+++ b/.github/dependabot.yml
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # https://docs.github.com/en/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
diff --git a/.github/workflows/book.yml b/.github/workflows/book.yml
index 55f3688beaab6..d4a17e01ebffd 100644
--- a/.github/workflows/book.yml
+++ b/.github/workflows/book.yml
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This workflow is responsible for building and releasing the book.
diff --git a/.github/workflows/kani.yml b/.github/workflows/kani.yml
index 60a142e2d6692..d1b9e1735086a 100644
--- a/.github/workflows/kani.yml
+++ b/.github/workflows/kani.yml
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This workflow is responsible for verifying the standard library with Kani.
@@ -62,4 +61,3 @@ jobs:
         run: |
           kani verify-std -Z unstable-options ./library --target-dir ${{ runner.temp }} -Z function-contracts \
             -Z mem-predicates -Z ptr-to-ref-cast-checks
-          
diff --git a/.github/workflows/rustc.yml b/.github/workflows/rustc.yml
index da865faa84881..42a4729393584 100644
--- a/.github/workflows/rustc.yml
+++ b/.github/workflows/rustc.yml
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This workflow is responsible for building the standard library using the bootstrap script
diff --git a/.gitignore b/.gitignore
index f9fe675ebbe11..f1dff44a9a849 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 ## File system
diff --git a/doc/book.toml b/doc/book.toml
index ed71647dd8ad9..39d6a3153895d 100644
--- a/doc/book.toml
+++ b/doc/book.toml
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 [book]
 title = "Verify Rust Std Lib"
diff --git a/library/contracts/safety/Cargo.toml b/library/contracts/safety/Cargo.toml
index e51487e7266e9..82692ac5f1720 100644
--- a/library/contracts/safety/Cargo.toml
+++ b/library/contracts/safety/Cargo.toml
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [package]
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 31b1f7dd8e678..b613cef9342c8 100644
--- a/rust-toolchain.toml
+++ b/rust-toolchain.toml
@@ -1,4 +1,3 @@
-# Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 # This version should be updated whenever we update the version of the Rust