Agent skill · parcadei

proof-theory

Problem-solving strategies for proof theory in mathematical logic

Reference it in any coding agent with:

@skills parcadei/proof-theory

Browse the @skills marketplace