path-tactics
Use ComputationalPaths path tactics to automate common RwEq goals (path_simp/path_auto/path_normalize), and structure calc-based proofs cleanly.
path
tactics
Also installable via skills CLI
npx skills add Arthur742Ramos/ComputationalPathsLean/.claude/skills/path-tactics