From 691fc05f9a6f471f787cd37c6bf5b3f638494cd8 Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Mon, 23 Jun 2025 13:45:09 -0600 Subject: [PATCH] Fix #4 --- about.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/about.md b/about.md index 82102b3..b511874 100644 --- a/about.md +++ b/about.md @@ -4,8 +4,7 @@ subtitle = 'Learn more about the Formal Methods Tools project' date = 2025-06-07 +++ - -The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. Our goal is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners. +The Formal Methods Tools project is dedicated to developing, maintaining, and promoting tools that support the application of formal methods in software engineering. The goal of this website is to make formal verification, specification, and analysis techniques accessible and practical for both researchers and practitioners. ## Key Objectives