Expand description
Socratic Hint Engine - Generates pedagogical hints for proof guidance.
Instead of giving direct answers, this module generates leading questions that help users discover the right proof steps themselves.
Structs§
- Socratic
Hint - A Socratic hint - a leading question to guide the user
Enums§
- Suggested
Tactic - Tactics that the user might try
Functions§
- suggest_
hint - Generate a Socratic hint based on the goal and available knowledge