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

docs(lean,#15892): exposer le chemin de decouverte prover de StableMa…

b29047a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar