Skip to content

docs(lean,#15892): exposer le chemin de découverte prover de StableMarriage (sans changement mathématique) - #15895

Merged
jsboige merged 1 commit into
mainfrom
feature/15892-stablemarriage-discovery
Sep 13, 2026
Merged

docs(lean,#15892): exposer le chemin de découverte prover de StableMarriage (sans changement mathématique)#15895
jsboige merged 1 commit into
mainfrom
feature/15892-stablemarriage-discovery

Commits

  1. Commits on Sep 13, 2026