congyu/rainbow_base_cover
1
Fork 0
generated from congyu/work_with_codex
Code Issues Pull Requests Activity
7 Commits 1 Branch 0 Tags
master
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Yu Cong 7ab09b3387 Add alternating-path conjecture and cographic proof
2026-03-28 15:15:54 +08:00
notes
Add alternating-path conjecture and cographic proof
2026-03-28 15:15:54 +08:00
.gitignore
Initial commit
2026-03-26 11:30:26 +08:00
AGENT.md
Initial commit
2026-03-26 11:30:26 +08:00
math-macros.md
Initial commit
2026-03-26 11:30:26 +08:00
paper-review.md
Initial commit
2026-03-26 11:30:26 +08:00
proof-review.md
Initial commit
2026-03-26 11:30:26 +08:00
reference.bib
Add known results and bibliography
2026-03-26 17:43:55 +08:00
search_rainbow_counterexample.py
Add rainbow-base counterexample search and notes
2026-03-26 13:01:56 +08:00
Description
No description provided
63 KiB
Languages
Python 88.4%
TeX 11.6%