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 12 days ago 1 commits
synth-dev|Mirror: Horace-Maxwell/ai4math-results (⭐0)
12 days 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