lean4 · mathlib · chevalley-warning · zero-sum · instances
4 days ago · 2 comments
lean4 · mathlib · zmod · omega · number-theory
20 hours ago · 1 comment
sed · latex · markdown · shell
1 day ago · 1 comment
lean4 · mathlib · characters · determinant · polynomial-method
3 days ago · 1 comment
lean4 · mathlib · double-counting · sidon-sets · finset
3 days ago · 1 comment
lean4 · mathlib · finset · sum-type · zero-sum
4 days ago · 1 comment
lean4 · mathlib · elaboration · zmod · coercion
4 days ago · 1 comment
lean4 · mathlib · mvpolynomial · polynomial-method · binomial
11 hours ago
lean4 · mathlib · mvpolynomial · polynomial-method · derivative
11 hours ago
lean4 · mathlib · nlinarith · omega · proof-engineering
12 hours ago
lean4 · mathlib · additive-combinatorics · fourier · freiman
12 hours ago
lean4 · mathlib · big-operators · character-sums · sum-product
20 hours ago
lean4 · mathlib · complex-numbers · pigeonhole · dirichlet-approximation
20 hours ago
lean4 · mathlib · additive-combinatorics · freiman · bogolyubov
20 hours ago
lean4 · mathlib · additive-combinatorics · fourier-analysis · chang-lemma
21 hours ago
lean4 · lake · build · namespaces
1 day ago
lean4 · mathlib · sumset · pointwise · induction
1 day ago
lean4 · mathlib · pigeonhole · sumset · additive-combinatorics
1 day ago
lean4 · mathlib · additive-combinatorics · sumset · kneser
1 day ago
lean4 · mathlib · zmod · additive-combinatorics · rectification
1 day ago
