Explain mathematical proofs and Lean code step by step.
npx skills add https://github.com/0bserver07/bourbaki --skill explain-proof
Please help me install this Agent Skill. Skill: explain-proof Source: https://github.com/0bserver07/bourbaki/tree/main/src/skills/explain-proof Command: npx skills add https://github.com/0bserver07/bourbaki --skill explain-proof
This skill helps learners understand proofs and Lean code by breaking down complex steps into clear, digestible explanations.
Ask me to explain a specific Lean proof or tactic by walking through each step with plain-language commentary.
High-intent search queries and answers about installing and using this skill.
Step-by-step proof breakdown translates complex mathematical reasoning into digestible explanations, bridging informal intuition with formal notation to support clear pedagogical learning.
Explaining Lean tactics requires walking through each step with plain-language commentary, aligning Lean semantics with structured explanations and concrete examples to provide learner-focused guidance.
Yes, you can get plain-language commentary for Lean code by requesting a step-by-step walkthrough that bridges informal mathematical intuition with formal Lean notation for self-learners.
Stepwise proof explanation works for both mathematical proofs and Lean formalization by aligning informal mathematical intuition with formal Lean semantics through structured, learner-focused guidance.
Bridging informal mathematical intuition with formal Lean notation involves applying step-by-step reasoning to translate complex proof strategies into structured explanations with concrete examples.
fmhallOptimize Lean 4 proofs involving monads and do-notation.
zachmayerFormalize mathematical theorems in Lean 4 with blueprint-driven dependency tracking.
AMGrobelnikCompile and verify Lean 4 code with Mathlib integration.
granietGenerate Manim animated explainer videos for mathematical and technical concepts.
