jesse-michael-han/lean-sensitivity

A formalization of Huang's degree theorem

Lean