Multinomials for the Mathematical Components library.
Primary LanguageCoqOtherNOASSERTION
No issues in this repository yet.