GitHub repository: ocfnash/lean-shannon-lovasz
Primary language: Lean
Description: A project to formalise a proof that the Shannon capacity of the 5-cycle is √5