home/categories/philosophy-ethics/metamatematico-metamatematico-razonamiento-formal-con-lean-agents-skills-lean-tp-advanced-skill-md

philosophy-ethicslifestyle

lean-tp-advanced

Axioms, classical logic, quotients, and noncomputable definitions. Use for excluded middle, proof by contradiction, quotient types, or understanding Lean's foundational axioms.

소스 보기 philosophy-ethics

maintainer

metamatematico

업데이트됨 2025. 12. 15.

스타

포크

quick start

Installation and usage

Axioms, classical logic, quotients, and noncomputable definitions. Use for excluded middle, proof by contradiction, quotient types, or understanding Lean's foundational axioms.

설치

$ install --globalskills.sh

사용법

설치 후 터미널에서 다음 명령을 실행하여 이 스킬을 사용할 수 있습니다:

skills use lean-tp-advanced