math-comp

math-comp/multinomials

Multinomials for the Mathematical Components library.

1 good first / help-wanted issue · Rocq Prover · last activity Aug 29, 2025

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 1 year ago

help wanted

math-comp/multinomials

15

Multinomials for the Mathematical Components library.

Rocq Prover

#coq#mathcomp#polynomials#ssreflect