A group of us formalized the proof of Huang's degree theorem in summer 2019.
The proof is now maintained in the /archive directory of mathlib,
at https://github.com/leanprover-community/mathlib/blob/master/archive/sensitivity.lean
This repository was archived by the owner on Apr 25, 2020. It is now read-only.
leanprover-community/lean-sensitivity
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|