From 4089b31eec0a3a4270634c99583985f5ade81152 Mon Sep 17 00:00:00 2001 From: "Richard E. Silverman" Date: Sat, 20 Jun 2026 22:28:35 -0400 Subject: [PATCH] README: fix typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2c587da7..fb960eb9 100644 --- a/README.md +++ b/README.md @@ -10,7 +10,7 @@ liveness) properties of state transition systems, with a focus on distributed protocols. Veil is embedded in the [Lean 4 proof assistant](https://lean-lang.org/) and provides push-button -verification for transition systems and their properties expressed +verification for transition systems and their properties expressed in decidable fragments of first-order logic, with the full power of a modern higher-order proof assistant for when automation falls short.