Demonstrations
SE-Coach User Instructions
A simple guide to using the SE-Coach platform for mathematical proof learning.
Dashboard Page
Overview
Your dashboard shows your learning progress and quick access to proofs.

Key Features
1. Progress Overview: View total proofs completed, check your current learning streak, see average understanding percentage, and track total study time.
2. Recent Sessions: Review your recent proof sessions, see completion percentage and color levels, and check time spent on each proof.
3. Quick Actions: Click "Start New Session" to begin studying, view recommended proofs, and access settings from the profile menu.
Proofs Page
Proof Upload
[Screenshot of the Proof Upload Interface]
How to Upload Proofs
1. Access Upload: Click "Upload New Proof" button or use the "+" icon in the navigation.
2. Upload Methods: Type or paste text, upload PDF/image/text files, or write in LaTeX format.
3. Proof Information: Enter a title, optional description, difficulty level, and mathematical category.
4. Review & Save: Preview your proof and click "Save Proof" to add it to your library.
Viewing and Editing Proofs
Viewing Proofs
1. Browse Library: View, filter, and search all your uploaded proofs.
2. Proof Details: Click any proof to view its full statement, steps, and metadata.
Editing Proofs
1. Enter Edit Mode: Click the "Edit" button (pencil icon).
2. Edit Options: Modify the title, description, and content in either text or LaTeX mode.
3. Save Changes: Click "Save" to keep your changes or "Cancel" to discard them.
Study Session Page
Starting a Study Session
Choose a proof from your library and click "Start Session". The proof is on the left, and the questions panel is on the right.
[Screenshot of the Study Session Interface]
Understanding the Color System
- Red: Need more work understanding this step
- Yellow: Partial understanding, getting there
- Green: Good understanding of this step
Answering Questions
Each proof line has three types of questions: "What" (describe the step), "Why" (justify the step), and "Link" (connect it to other steps).
Best Practices
1. Take Your Time: Understanding is more important than speed.
2. Use Your Own Words: Don't just copy from the proof.
3. Ask for Hints: When truly stuck, hints can help guide your learning.
4. Review Red Steps: Focus on the steps you find most difficult.
Navigation & Troubleshooting
- Slow Loading: Check your internet connection.
- Can't Save: Make sure all required fields are filled.
- Display Issues: Try refreshing the page.
- Lost Progress: Your work is automatically saved during study sessions.