chromatic_polynomial
Chromatic polynomial in Lean4
of 7 dependencies of chromatic_polynomial
1-7Sort by
Require Order
batteries
dc167d2
The "batteries included" extended library for the Lean programming language and theorem proverQq
01ad339
Intuitive, type-safe expression quotations for Lean 4.aesop
v4.11.0-rc1
White-box automation for Lean 4proofwidgets
v0.0.41
Helper toolkit for creating your own Lean 4 UserWidgets- Cli
2cf1030
importGraph
v4.11.0-rc1
Tool to analyse the import structure of lean projects.- mathlib
5ff8d60