leanprover-community/lean-sensitivity
Fork: 3 Star: 8 (更新于 2024-11-13 03:36:05)
license: 暂无
Language: Lean .
A formalization of Huang's degree theorem
lean-sensitivity
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
最近版本更新:(数据更新于 1970-01-01 00:00:00)
leanprover-community/lean-sensitivity同语言 Lean最近更新仓库
2024-09-03 11:01:10 leanprover/lean4
1970-01-01 00:00:00 notepad-plus-plus/userDefinedLanguages
1970-01-01 00:00:00 leanprover-community/mathlib4