No results found

chromatic_polynomial

Chromatic polynomial in Lean4
Displaying 1-1 of 1 versions of chromatic_polynomial
Sort by
  1. Not a part of any version track.
    6fe1fcd
    24 days ago
    Released on August 25, 2024 at 3:24:54PM
    Commit 6fe1fcd builds on its recent leanprover/lean4:v4.11.0-rc1
    v4.11.0-rc1
    8.8 KB Build archive size: 8828 bytes.