summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2020-11-26 01:10:17 +0100
committerTobias Geerinckx-Rice <me@tobias.gr>2020-11-26 04:22:51 +0100
commit1df6f0f085516da9787eb692952b5f680ac0a6d8 (patch)
treed29914f2a2d911c61fbcac48bfb484875fb72c51
parentb87051b74a4e529b459a6b1a86fd7cec187c70b2 (diff)
gnu: lean: Trim synopsis.
* gnu/packages/lean.scm (lean)[synopsis]: Remove article & package name.
-rw-r--r--gnu/packages/lean.scm2
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