rweq-proofs

Helps construct RwEq (rewrite equivalence) proofs using transitivity, congruence, and canonical lemmas from the LND_EQ-TRS system. Use when proving path equalities, working with quotients, or establis

by Arthur742Ramos· Repository·design

rweq

proofs

Run in AgentArea Browse All Skills

Also installable via skills CLI

npx skills add Arthur742Ramos/ComputationalPathsLean/.claude/skills/rweq-proofs

Source

Repo:local

Path:.claude/skills/rweq-proofs(main)

Related in design

add-uint-support

Add unsigned integer (uint) type support to PyTorch operators by updating AT_DISPATCH macros. Use when adding support for uint16,...

skill-writer

Guide users through creating Agent Skills for Claude Code. Use when the user wants to create, write, author, or design a new Skill...

frontend-design

Create distinctive, production-grade frontend interfaces with high design quality. Use this skill when the user asks to build web...