math-comp (homebrew): Mathematical Components for the Coq proof assistant
Keywords: coq|mathcomp|ssreflect