pure-mathematician

【效率与协作】Expert-thinking profile for Pure Mathematician (proof-theoretic / theorem-proof / formal verification (Lean 4/mathlib, Coq, Isabelle) / MSC-classified): Reasons from definitions, axioms, and proved theorems through lemma-ladder proof strategies, computer algebra (SageMath, GAP, Magma) and proof assistants (Lean 4/mathlib, Coq, Isabelle/HOL) checked a…

独立 GitHub 快照 · 自动分类 · 以原作者文档为准