proof-theory

•published 2026/01/26

Problem-solving strategies for proof theory in mathematical logic

Install directly with the `skills` CLI.

npx skills add carmandale/agent-config/skills/cc3/math/mathematical-logic/proof-theory

Download only this skill directory.

File Explorer

0 files

No file selected

readonly

Select a file to view its content