math-comp

math-comp/multinomials

Multinomials for the Mathematical Components library.

15 stars 13 forks 15 watchers Rocq Prover Other

coq mathcomp polynomials ssreflect

1 Open Issue Need Help Last updated: Aug 29, 2025

Open Issues Need Help

View All on GitHub

Nix CI and testing reverse dependencies about 2 months ago

help wanted

math-comp/multinomials

15

Multinomials for the Mathematical Components library.

Rocq Prover

#coq#mathcomp#polynomials#ssreflect