formalize
Formalize or verify a selected statement in Lean, optionally using Aristotle to propose code. Use only for an explicit request for formalization, Lean, Aristotle, or machine-checked proof. Not for informal explanation, examples, or gap analysis.
Pinned to revision 597bef899741, so it is the text this page describes rather than whatever the author pushed since.
Files
- skills/formalize/SKILL.md
- skills/formalize/evals/TESTED.md
- skills/formalize/evals/baseline.md
- skills/formalize/evals/triggers.md
- skills/formalize/references/aristotle.md
- skills/formalize/scripts/.gitignore
- skills/formalize/scripts/aristotle.py
- skills/formalize/scripts/test_aristotle.py
Every link opens the file at its source, pinned to the revision this page describes.