Menú
SkillsMP ha recopilado 8 skills de abderrahim-lectures/lean4-learning. Abre una skill para revisar su origen y sus detalles.
Mostrando 8 de 8 skills recopiladas.
Adversarial, brutally honest review of mathematical content — definitions, theorems, proofs, worked examples, exercises and their solutions — including formal Lean 4 code. Use when checking the mathematics of a textbook or manuscript before publishing, when…
Idioma del texto original: inglés
AMS-level adversarial review of category-theory claims and explanations in a mathematics textbook — checks that categorical readings (quivers as categories, rings as one-object preadditive categories, universal properties, functors, forgetful functors) are…
Idioma del texto original: inglés
Auditor for Lean 4 code blocks in a proof-assistant textbook — checks compilation against the pinned toolchain, faithfulness of formalization to prose, absence of proof-faking shortcuts, and correct use of tactics/automation. Use when verifying that every…
Idioma del texto original: inglés
Adversarial review of proof-search narrative descriptions in mathematical textbooks — checks that each theorem's "search process" (what to try, why it fails, how to recover) is mathematically accurate, pedagogically effective, and honestly presented. Use when…
Idioma del texto original: inglés
Adversarial review of LaTeX/PDF typesetting output — checks formatting consistency, equation rendering, diagram quality (tikz-cd), cross-reference integrity, code-block styling, and overall visual correctness against the source Markdown. Use after running the…
Idioma del texto original: inglés
Final adjudication and detailed report by Claude Code in the last step of the adversarial review pipeline. Reads all Phase-1 reports, Phase-2 critiques, and the Phase-3 FINAL-REVIEW.md, then produces a detailed, human-grade verification report. Use when…
Idioma del texto original: inglés
Adversarial, brutally honest review of a book or long-form technical manuscript's prose, structure, pedagogy, and factual claims. Use when reviewing textbook or technical writing before publishing, when the author wants genuine criticism instead of praise, or…
Idioma del texto original: inglés
AMS-level adversarial review of mathematical notation consistency across an entire textbook — checks that every symbol, term, and convention is defined before use, used consistently, and correctly translated between Lean syntax and standard mathematical…
Idioma del texto original: inglés