lean-applied-reasoning
CommunityFormalize applied reasoning in Lean 4 workflows.
Education & Research#handoffs#handbook#lean4#proof-workflow#applied-reasoning#strategy-formalization
Authorr-irbe
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Formalize applied reasoning tasks within Lean 4 workflows to bridge mathematical formalization with domain-specific decision-making.
Core Features & Use Cases
- Broad applicability to intelligence analysis formalization, strategy formalization, brainstorming methodologies, and investigative reasoning.
- Supports defined handoffs to review and enforcement stages and clear cross-skill coordination.
- References a central handbook for deep domain guidance and integration with Lean-based proof workflows.
Quick Start
Load the lean-applied-reasoning skill in your Lean 4 workflow and consult references/lean-applied-reasoning-handbook.md for detailed usage.
Dependency Matrix
Required Modules
None requiredComponents
references
💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: lean-applied-reasoning Download link: https://github.com/r-irbe/proof-skills/archive/main.zip#lean-applied-reasoning Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 510,000+ vetted skills library on demand.