Open Issues Need Help
View All on GitHub Improve module documentation and add usage examples about 3 hours ago
documentation good first issue
Classification of 1/2-derivations on the nilpotent Lie algebra N_n: dim HalfDer(N_n) = n+5 (char ≠ 2,3). Lean 4 formalization + paper.
Lean
#classification#formal-proof#half-derivation#lean4#lie-algebra#mathematics#mathlib#nilpotent#research-paper
Lean proof golf: can any lemma be shortened or simplified? about 3 hours ago
enhancement good first issue lean
Classification of 1/2-derivations on the nilpotent Lie algebra N_n: dim HalfDer(N_n) = n+5 (char ≠ 2,3). Lean 4 formalization + paper.
Lean
#classification#formal-proof#half-derivation#lean4#lie-algebra#mathematics#mathlib#nilpotent#research-paper
[help wanted] Chinese translation of remaining sections about 3 hours ago
help wanted good first issue translation
Classification of 1/2-derivations on the nilpotent Lie algebra N_n: dim HalfDer(N_n) = n+5 (char ≠ 2,3). Lean 4 formalization + paper.
Lean
#classification#formal-proof#half-derivation#lean4#lie-algebra#mathematics#mathlib#nilpotent#research-paper