From e6df66dae54a4bf390122bc7e7d5f537e83d8c0b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=9C=D0=B0=D0=BA=D1=81=D0=B8=D0=BC=20=D0=A1=D0=BE=D1=85?=
 =?UTF-8?q?=D0=B0=D1=86=D1=8C=D0=BA=D0=B8=D0=B9?= <maxim@synrc.com>
Date: Sat, 1 Mar 2025 21:08:24 +0200
Subject: [PATCH] Update README.md

---
 README.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index cd26991..334e441 100644
--- a/README.md
+++ b/README.md
@@ -11,7 +11,8 @@ A^1-Homotopy Fabien Morel Type Theory (FMTT) is built on top of:
 8) N,Z,
 9) MGL (Motivic cobordism spectrum),
 10) BGL (Classifying space of the general linear group).
-It bridges type theory and motivic homotopy, offering a lightweight,
+
+FMTT bridges type theory and motivic homotopy, offering a lightweight,
 extensible platform for formalizing algebraic geometry's homotopical
 landscape. Applications to motivic cohomology and stable
 homotopy categories are discussed.