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

philosophy-ethicslifestyle

lean-tp-foundations

Dependent type theory fundamentals for theorem proving. Use when understanding universes, Type/Prop, dependent types, or the Calculus of Constructions foundation.

소스 보기 philosophy-ethics

maintainer

metamatematico

업데이트됨 2025. 12. 15.

스타

포크

quick start

Installation and usage

Dependent type theory fundamentals for theorem proving. Use when understanding universes, Type/Prop, dependent types, or the Calculus of Constructions foundation.

설치

$ install --globalskills.sh

사용법

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

skills use lean-tp-foundations