← all publishers

afhverjuekki

@afhverjuekki source repo

Report this profile Claim this profile

• 1 skill
• 0 followers
• 1 week ago last updated

1. ▌
   Aristotle Workflow · afhverjuekki bundle

   This skill should be used when the user asks to "prove a theorem", "formalize to Lean", "use Aristotle", "fill sorries", "verify proofs", "verify algorithm", "verify code correctness", "check implementation", "find bugs in code", "work with Lean 4", "VERINA", or needs guidance on theorem proving, code verification, algorithm correctness, Lean formalization, or Aristotle AI integration.
   1 install