TY - RPRT TI - Que révèle l'activité de validation de démonstration circulaire sur la compréhension de démonstration AU - Alexis Gautreau PY - 2026 UR - https://arxiv.org/abs/2601.14853 ID - 2601.14853 ER -