algo/v0 at ae33f9468957b7f1fa8acfb4955f26b4311a253f - algo

History

Nicolas Cantu ae33f94689 [skip ci] Ajuster la rédaction de la démonstration Collatz

**Motivations:**
- Enregistrer les dernières corrections rédactionnelles du document de démonstration
- Maintenir la cohérence du corpus de preuve avec les conventions en cours

**Root causes:**
- Modifications locales non commitées sur le fichier de démonstration

**Correctifs:**
- Ajustements de formulation et de structure dans la démonstration
- Mise en cohérence de certains intitulés et enchaînements de sections

**Evolutions:**
- Consolidation du document pour les itérations suivantes de la preuve

**Pages affectées:**
- `v0/démonstration collatz.md`

2026-02-25 20:38:32 +01:00

collatz_certificat_partiel_depth16.json

Add Collatz materials and extend v0 docs

2026-02-25 01:50:41 +01:00

collatz_certificat_partiel_depth16.md

Add Collatz materials and extend v0 docs

2026-02-25 01:50:41 +01:00

collatz_trapdoor_v2_1_spec.md

Replace Collatz-Trapdoor binaries with v2.1 Markdown spec

2026-02-25 02:42:56 +01:00

complétion_minorée_m14_vers_m15.md

[skip ci] Harmoniser la structure markdown des documents Collatz