From 3f4e73f19315be7c6c6ef01a0de4a96ea63069b3 Mon Sep 17 00:00:00 2001 From: Abdalrhman Mohamed Date: Wed, 27 Nov 2024 08:16:29 -0800 Subject: [PATCH] Update README.md --- README.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index e72743d1..7ce5a661 100644 --- 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