Skip to content

Commit

Permalink
fix coq-mathcomp-ssreflect opam package description
Browse files Browse the repository at this point in the history
  • Loading branch information
Enrico Tassi committed Dec 4, 2015
1 parent 0b02d10 commit e6076b2
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion mathcomp/ssreflect/descr
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,6 @@ Small Scale Reflection
This library includes the small scale reflection proof language
extension and the minimal set of libraries to take advantage of it.
This includes libraries on lists (seq), boolean and boolean
predicates, natural numbers and types with decidable equality.
predicates, natural numbers and types with decidable equality,
finite types, finite sets, finite functions, finite graphs, basic arithmetics
and prime numbers, big operators

0 comments on commit e6076b2

Please sign in to comment.