github:Arthur742Ramos/ComputationalPathsLean · first committed 2026-01-13 · source · badge
Run Aristotle automated theorem prover on Lean files to fill sorry placeholders. Use when you have a file with sorries that needs automated proof search. Handles API setup, HIT detection, and result verification.
Listed, not yet scored. This skill has no public model test yet. It is in the scoring queue; submitted skills go first, then the most-installed.
2 commits to this file on GitHub (newest first).