pi8027
Follow
Highlights
- Pro
Pinned
328 contributions in the last year
Activity overview
Contributed to
math-comp/algebra-tactics,
math-comp/math-comp,
fmarotta/kaobook
and 25 other
repositories
Contribution activity
March 2023
Created 11 commits in 5 repositories
Created 1 repository
Created a pull request in math-comp/multinomials that received 6 comments
Cleanup
As a preliminary work of better reimplementation of multiple monomial order instances, I propose an extensive cleanup of multinomials here.
+1,031
−1,454
•
6
comments
Opened 3 other pull requests in 2 repositories
coq/opam-coq-archive
2
merged
coq-community/apery
1
open
Created an issue in coq/coq that received 1 comment
simpl does not determine whether an argument reduces to a constructor application by simpl itself when Arguments with ! flags is declared
Description of the problem Example: Structure eqType := EqType { eq_sort : Type; eq_op : eq_sort -> eq_sort -> bool; }. Structure ordType := OrdTy…
1
comment
Opened 1 other issue in 1 repository
math-comp/math-comp
1
open
6
contributions
in private repositories
Mar 2 – Mar 14