From 0d39d58052f442e2300fce7ad48258caee5e963b Mon Sep 17 00:00:00 2001 From: SimonGuilloud <sim-guilloud@bluewin.ch> Date: Tue, 15 Feb 2022 18:52:36 +0100 Subject: [PATCH] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 0e661716..0b0c7cbd 100644 --- a/README.md +++ b/README.md @@ -1,4 +1,4 @@ -#LISA: LISA Is Sets Automated +# LISA = LISA Is Sets Automated LISA is a Proof Assistant based on first order logic, Sequent Calculus and Set Theory. To get started, look at the [Reference Manual](/LISA Reference Manual.pdf). -- GitLab