Formalizing the Erdős–Rényi random graph model in Lean4.
Useful resources:
- Yael's formalization of random graphs.
- Bernoulli PMF in mathlib.
- Moogle for searching mathlib.
- GitHub Copilot for generating code. Free for students.
uw-math-ai/random_graphs
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|