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 against …

Independent GitHub snapshot · Automated classification · Original documentation governs