Update README.md

ufmg-smite · Nov 27, 2024 · 3f4e73f · 3f4e73f
1 parent 3afa2c8
commit 3f4e73f
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/README.md b/README.md
@@ -1,9 +1,8 @@
 # SMT Lean
-This project is inspired by [SMTCoq](https://smtcoq.github.io/) and aims to
-provide Lean tactics that discharge goals into SMT solvers. It is under active
-development and is currently in a beta phase. While it is ready for use, it is
-important to note that there are still some rough edges and ongoing improvements
-being made.
+This project aims to provide Lean tactics that discharge goals into SMT solvers.
+It is under active development and is currently in a beta phase. While it is
+ready for use, it is important to note that there are still some rough edges and
+ongoing improvements being made.
 
 ## Supported Theories
 `lean-smt` currently supports the theories of Uninterpreted Functions and Linear