From e882edf610e76985718d332ec0b4651a1059ce34 Mon Sep 17 00:00:00 2001
From: nateabr <135662056+nateabr@users.noreply.github.com>
Date: Tue, 22 Sep 2026 11:00:00 +0400
Subject: [PATCH] Update README.md

Some duplications in the requirements of the project have been removed
---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 286b07583..45276f455 100644
--- a/README.md
+++ b/README.md
@@ -78,7 +78,6 @@ Quantum information theory. Currently a distinct codebase with its own conventio
 
 🎯 The project shall contain results (definitions, theorems, lemmas and calculations) from **physics**,
   including quantum information, formalized (or **digitalized**) into the interactive theorem prover **Lean 4**.
-including quantum information, formalized (or **digitalized**) into the interactive theorem prover **Lean 4**.
 
 🎯 The project shall be **organized** by **physics**.
 
@@ -89,7 +88,6 @@ including quantum information, formalized (or **digitalized**) into the interact
 🎯 The project shall contain Physics Lean **tactics**, **notation** and **syntax** for physicists.
 
 🎯 The project shall *not* be tied to physics axiomizations (e.g. axiomatic QFT), but rather flexiable enough to accommodate different approaches and starting points.
-🎯 The project shall _not_ be tied to physics axiomizations (e.g. axiomatic QFT), but rather flexiable enough to accommodate different approaches and starting points.
 
 🎯 The content of the project shall be carefully **reviewed** and curated, to ensure reusability, readability and fit.