diff options
| -rw-r--r-- | gnu/packages/lean.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/lean.scm b/gnu/packages/lean.scm index fa96fa096c..cc593291fd 100644 --- a/gnu/packages/lean.scm +++ b/gnu/packages/lean.scm @@ -66,7 +66,7 @@ #t))) (add-before 'configure 'chdir-to-src (lambda _ (chdir "src") #t))))) - (synopsis "The Lean theorem prover and programming language") + (synopsis "Theorem prover and programming language") (description "Lean is a theorem prover and programming language with a small trusted core based on dependent typed theory, aiming to bridge the gap between |