feat(EPITA): cross-workspace synergies with Epita-2025 for symbolic AI

[jsboige]

Context

The Epita-2025 workspace exists on this machine (myia-ai-01) with its own 2-machine collaboration setup. There are strong synergies with the symbolic AI content in CoursIA:

• Lean: Theorem proving
• Tweety: Argumentation frameworks
• SemanticWeb: RDF, OWL, SPARQL
• Planning: PDDL planners
• SmartContracts: Blockchain/Solidity

Objective

1. Audit overlap: Identify shared content between CoursIA SymbolicAI series and Epita-2025
2. Cross-pollinate: Improvements made here should flow to Epita-2025 and vice-versa
3. Consistent exercises: Ensure exercise quality is uniform across both repos
4. Shared evaluation: Leverage common grading criteria

Timeline

• Mid-April: EPITA Contraintes (Search/CSP/Sudoku)
• May 20: EPITA IA Symbolique

Related issues

• EPITA Contraintes: Revision series Search/CSP/Sudoku + depot projets #54: EPITA Contraintes revision
• EPITA IA Symbolique (20 mai): Finalisation serie complete #55: EPITA IA Symbolique finalization
• feat(SmartContracts): complete overhaul - replace print-only notebooks with executable blockchain code #129: SmartContracts overhaul

[jsboige]

🔔 Stale — 32 jours sans activité. Issue sur les synergies EPITA SymbolicAI — le travail a avancé via #289, #290, #292 (Phase 2). Certaines synergies sont déjà en place. À mettre à jour ou fermer?

[jsboige]

🔍 Triage — Stale Review

Cross-workspace synergies EPITA 2025 pour symbolic AI (Lean, Tweety, SemanticWeb, Planning, SmartContracts).

Analyse:

• Issue stratégique identifiant des synergies entre deux workspaces
• Pas de travail effectué depuis la création
• Les synergies existent toujours mais nécessitent une décision de priorisation

Recommandation: Garder ouverte. C'est une feature enhancement avec priority-medium — les synergies Lean/Tweety/SemanticWeb restent valides pour le contenu pédagogique. Retirer le label stale.