issues
search
math-comp
/
multinomials
Multinomials for the Mathematical Components library.
Other
14
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
#90 broke nix derivation
#91
CohenCyril
closed
1 week ago
5
Fix CI by reverting to coq_makefile
#90
pi8027
closed
1 month ago
8
Remove notations deprecated in MathComp 1.17.0
#89
proux01
closed
5 months ago
2
Adapt to math-comp/math-comp#1166
#88
pi8027
closed
4 months ago
1
[CI] Add Coq 8.19 and MC 2.2
#87
proux01
closed
7 months ago
2
Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope)
#86
pi8027
closed
9 months ago
1
Adapt to https://github.com/math-comp/math-comp/pull/1046
#85
proux01
closed
9 months ago
2
Cleanup some phantom related stuff and proofs
#84
pi8027
closed
9 months ago
1
Generalize some results in monalg to `nmodType` and `semiRingType`
#83
pi8027
opened
9 months ago
0
Update ci
#82
proux01
closed
10 months ago
1
Adapt to https://github.com/math-comp/math-comp/pull/1031
#81
proux01
closed
1 year ago
2
Cleanup/refactor freeg.v and monalg.v
#80
pi8027
closed
11 months ago
5
dune: bump to 3.8
#79
Alizter
closed
9 months ago
28
update opam and CI
#78
CohenCyril
closed
1 year ago
0
Releasing a multinomials 1.6.0
#77
proux01
closed
9 months ago
1
add coq_makefile build method
#76
haansn08
closed
1 month ago
7
make install fails
#75
haansn08
closed
1 month ago
8
use uncurry instead of prod_curry
#74
haansn08
closed
1 year ago
1
seq compatibility with math-comp/math-comp#790
#73
JasonGross
closed
1 year ago
1
Cleanup
#72
pi8027
closed
1 year ago
2
Please pick the version you prefer for Coq 8.17 in Coq Platform 2023.03
#71
MSoegtropIMC
closed
9 months ago
6
release/update for mathcomp 1.16
#70
clayrat
closed
1 year ago
1
[CI] Add Coq 8.17
#69
proux01
closed
1 year ago
1
Adapt to https://github.com/math-comp/math-comp/pull/863
#68
proux01
closed
1 year ago
1
Adapt to future MathComp 1.16.0
#67
proux01
closed
1 year ago
1
Redefine msupp as sorted
#66
proux01
opened
1 year ago
0
Change logical path from SsrMultinomials to mathcomp.multinomials
#65
strub
closed
1 year ago
0
Failure with coq master
#64
CohenCyril
closed
9 months ago
4
Compile with Coq master
#63
proux01
closed
1 year ago
5
Adapt to coq/coq#16004
#62
proux01
closed
2 years ago
2
Please pick the version you prefer for Coq 8.16 in Coq Platform 2022.09
#61
MSoegtropIMC
closed
2 years ago
2
deprecated lemma
#60
affeldt-aist
closed
9 months ago
1
More precise copyrights?
#59
SnarkBoojum
opened
2 years ago
0
Installation directories - follow a convention?
#58
SnarkBoojum
closed
1 year ago
0
Please pick the version you prefer for Coq 8.15 in Coq Platform 2022.02
#57
MSoegtropIMC
closed
2 years ago
5
Don't mix implicit types and sequence variables
#56
JasonGross
closed
2 years ago
2
Push dune version bound in opam file
#55
proux01
closed
2 years ago
0
Allow Coq 8.15 in the OPAM file
#54
pi8027
closed
2 years ago
0
Remove old capitalized syntax for instantiate
#53
proux01
closed
2 years ago
1
multinomial and coq-native
#52
thery
closed
2 years ago
10
[CI, OPAM] Compatible with MathComp 1.13.0 and dev
#51
pi8027
closed
2 years ago
5
fix: Add dummy support of `--prefix` CLI option
#50
erikmd
closed
2 years ago
0
Make `(mode native)` configurable
#49
erikmd
closed
2 years ago
2
Extend the test suite (with coq 8.12.1 and coq-native)
#48
erikmd
closed
2 years ago
0
adding nix toolbox
#47
CohenCyril
opened
2 years ago
0
Please pick the version you prefer for Coq 8.14 in Coq Platform 2021.11
#46
MSoegtropIMC
closed
2 years ago
0
Add coq-native support (if available) as per CEP 48
#45
erikmd
closed
2 years ago
10
Inclusion in the Coq Platform
#44
MSoegtropIMC
closed
2 years ago
10
pihomog and symmetry
#43
hivert
closed
3 years ago
1
Port to Hierarchy Builder
#42
proux01
closed
1 year ago
4
Next