GitHub repository: strub/multinomials-ssr
Primary language: Coq
Description: Multinomials for Ssreflect