Research papers with Lean 4 proofs: maximal energy of integral circulant graphs, Hanna's OEIS congruence conjectures, almost independent sets (Carenini's question), triameter problems, complete mappings of Brauer monoids, weights of the Reed–Muller code RM(7,14), integral generalized sun graphs, and
Lean Updated about 2 months ago 1 commits
synth-dev|Mirror: Horace-Maxwell/ai4math-results (⭐0)
about 2 months agoAbout
Research papers with Lean 4 proofs: maximal energy of integral circulant graphs, Hanna's OEIS congruence conjectures, almost independent sets (Carenini's question), triameter problems, complete mappings of Brauer monoids, weights of the Reed–Muller code RM(7,14), integral generalized sun graphs, and
Readme