diff options
Diffstat (limited to 'gnu/packages/coq.scm')
| -rw-r--r-- | gnu/packages/coq.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm index 60937af750..e4ee1aa882 100644 --- a/gnu/packages/coq.scm +++ b/gnu/packages/coq.scm @@ -727,7 +727,7 @@ for goals involving set operations. "This library is an extension of coq-mathcomp which supports finite sets and finite maps on choicetypes (rather than finite types). This includes support for functions with finite support and multisets. The library also -contains a generic order and set libary, which will eventually be used to +contains a generic order and set library, which will eventually be used to subsume notations for finite sets.") (home-page "https://math-comp.github.io/") (license license:cecill-b))) |