quotients-and-lifts

Work effectively with Lean 4 quotients in ComputationalPaths (Quot.lift/Quot.ind/Quot.sound), including nested lifts and common proof obligations.

by Arthur742Ramos· Repository·development
quotients
and
lifts
Run in AgentAreaBrowse All Skills
Also installable via skills CLI
npx skills add Arthur742Ramos/ComputationalPathsLean/.claude/skills/quotients-and-lifts

Source

Repo:local
Path:.claude/skills/quotients-and-lifts(main)

Related in development

fix-facebook-react

Use when you have lint errors, formatting issues, or before committing code to ensure it passes CI.

by facebook
242,476

update-docs-vercel-next-js

This skill should be used when the user asks to "update documentation for my changes", "check docs for this PR", "what docs need u...

by vercel
137,316

docstring-pytorch-pytorch

Write docstrings for PyTorch functions and methods following PyTorch conventions. Use when writing or updating docstrings in PyTor...

by pytorch
96,875
quotients-and-lifts | AgentArea Skills