[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"y3ixHfhfnr":3},"# Expander Graphs\nA Lean 4 project depending on [mathlib](https://github.com/leanprover-community/mathlib4).\n\nGoal is to formalize Expander Graphs and related Spectral Graph Theory results. [Link](https://celioboulay.github.io/expander-graphs/) to the blueprint of the project.\n\n## Prereqs\n\nYou need [elan](https://github.com/leanprover/elan) installed.\n\n## Building\n```sh\ngit clone https://github.com/celioboulay/expander-graphs.git\ncd expander-graphs\nlake exe cache get\nlake build\n```",1783784693703]