From 2a1620aab00892871960837ac84aae0c07a08ca7 Mon Sep 17 00:00:00 2001
From: wenxiaojie1 <18635488134@163.com>
Date: Thu, 2 Jul 2026 16:06:46 +0800
Subject: [PATCH] Fix README spelling

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

diff --git a/README.md b/README.md
index 1d55458..da0e706 100644
--- a/README.md
+++ b/README.md
@@ -22,7 +22,7 @@ Formal supports research on mimetic software abstractions for vector calculus by
 Formal's types and operators implement the discrete calculus of [Corbino & Castillo (2020)]:
 mimetic discretizations satisfying discrete versions of vector calculus theorems.
 
-Like the underlying numerical methods, Formal's software abstractios mimic their vector calculus counterparts.
+Like the underlying numerical methods, Formal's software abstractions mimic their vector calculus counterparts.
 For example, given scalar and vector fields $f$ and $\vec{v}$ defined over a unit volume $V = [0,1]^3$ bounded
 by a surface area $A$, the program [`example/extended-gauss-divergence.F90`] demonstrates satisfaction of the
 extended Gauss divergence theorem: