proof-theory
From the author
Problem-solving strategies for proof theory in mathematical logic
Install
npx skills add parcadei/Continuous-Claude-v3 --skill proof-theory -a claude-code
Installs to .claude/skills/proof-theory/ · Each command fetches the skill straight from GitHub with the open skills CLI.
Download .zip
Byte-identical to the scanned commit, with the repository’s licence and a SOURCE.txt.
Want your agent to suggest skills while you type? See how to use skills from your IDE.
Safety checks on SKILL.md
No warnings.
Why 83
Security100
Provenance83
Maintenance50
Licence100
Adoption57
aiqbench computes the trust score from public signals. It is not a security audit, so read a skill before you install it.
Similar skills
Closest to this one by what they do and when they are used.
- propositional-logicparcadei/Continuous-Claude-v3Problem-solving strategies for propositional logic in mathematical logicOther★ 3.9K
- predicate-logicparcadei/Continuous-Claude-v3Problem-solving strategies for predicate logic in mathematical logicOther★ 3.9K
- integration-theoryparcadei/Continuous-Claude-v3Problem-solving strategies for integration theory in measure theoryOther★ 3.9K
- operator-theoryparcadei/Continuous-Claude-v3Problem-solving strategies for operator theory in functional analysisOther★ 3.9K
- analytic-functionsparcadei/Continuous-Claude-v3Problem-solving strategies for analytic functions in complex analysisOther★ 3.9K
- entropyparcadei/Continuous-Claude-v3Problem-solving strategies for entropy in information theoryOther★ 3.9K
Ratings & reviews
—
no reviews
Tried this skill? Rate it to help others. Sign in
Discussion
Join the discussion. Sign in