reduce-relie-basics
•published 2026/01/22
Run REDUCE in Docker for this repo (using lunacamp/reduce-algebra), load the vendored ReLie file from resources/relie-src/relie.red, and perform a tiny smoke test. Use when you need the canonical docker run command or a minimal ReLie bootstrap.
📦 Install Skill
Command line install
Install directly with the `skills` CLI.
npx skills add hinsley/DiffSymAgent/.codex/skills/reduce-relie-basicsFile Explorer
No file selected
Select a file to view its content