Update README.md

alok · Dec 28, 2024 · 645cbd0 · 645cbd0
1 parent 22cfc9a
commit 645cbd0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,4 +1,4 @@
 # lean-inf
 
 
-Compute with infinities and infinitesimals! A calculator using the Levi-Civita field, implemented in Lean 4 as a datatype. Gives autodiff for free
+Compute with infinities and infinitesimals! A calculator using the Levi-Civita field, implemented in Lean 4 as a datatype. Gives autodiff for free.