PR !4#31364: feat: binomial random graphs

Stream: triage

[Random Issue Bot]

Today I chose PR #31364 for discussion!

feat: binomial random graphs
Created by @Yaël Dillies (@YaelDillies) on 2025-11-07
Labels: t-combinatorics, t-measure-probability

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

Very relevant! This is the start of probabilistic combinatorics in mathlib